Symposium: IPA course on Formal Methods

When: June 29, 2015, 9:00 - July 3, 2015, 16:00

Where: Hal B 2F

Who: other:

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