The Birth of Model Checking

דובר:
Prof. Edmund Clarke
תאריך:
יום חמישי, 21.5.2009, 14:30
מקום:
חדר 337-8 טאוב.

בחזרה לאינדקס האירועים