Events

e291
Sep 24, 2014 9:30
-
Sep 26, 2014 13:30
Symposium: Automated Verification of Critical Systems

International Workshop, see http://fmt.ewi.utwente.nl/conferences/avocs2014/