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

Events

The Birth of Model Checking
event speaker icon
Prof. Edmund Clarke
event date icon
Thursday, 21.5.2009, 14:30
event location icon
Room 337-8 Taub Bld.
[Back to the index of events]