Symposium: Automated Verification of Critical Systems

When: Sept. 24, 2014, 9:30 - Sept. 26, 2014, 13:30

Who: other:

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