Events

e383
Jun 29, 2015 9:00
-
Jul 03, 2015 16:00
Symposium: IPA course on Formal Methods
Room: Hal B 2F

http://www.win.tue.nl/ipa/?event=course-formal-methods-2