Synthesis and Verification in a Software Defined World

דובר:
Sharon Shoham Buchbinder - CS-Lecture
תאריך:
יום ראשון, 11.1.2015, 14:30
מקום:
חדר 337-8 טאוב.

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