Reasoning about Infinite-State Systems

Speaker:
Sharon Shoham - CS-Lecture
Date:
Sunday, 20.12.2015, 14:30
Place:
Room 337-8 Taub Bld.

Back to the index of events