Quantitative Formal Verification

Speaker:
Udi Boker
Date:
Wednesday, 9.1.2013, 14:30
Place:
Room 337-8 Taub Bld.

Back to the index of events