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.

Back to the index of events