Skip to content (access key 's')
Logo of Technion
Logo of CS Department


Verifying the correctness of remote executions: from theoretical possibility to near practicality
event speaker icon
Michael Walfish - Colloquium Lecture
event date icon
Thursday, 3.4.2014, 14:30
event location icon
Room 337-8 Taub Bld.
[Back to the index of events]