דלג לתוכן (מקש קיצור 's')
Logo of Technion
Logo of CS Department
אירועים

אירועים

The Birth of Model Checking
event speaker icon
Prof. Edmund Clarke
event date icon
יום חמישי, 21.5.2009, 14:30
event location icon
חדר 337-8 טאוב.
[בחזרה לאינדקס האירועים]