Synthesis and Verification in a Software Defined World

Speaker:
Sharon Shoham Buchbinder - CS-Lecture
Date:
Sunday, 11.1.2015, 14:30
Place:
Room 337-8 Taub Bld.
Link:
http://www.cs.technion.ac.il/~colloq/20150111_14_30_Shoham.html

Back to the index of events