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/
Symposium: Automated Verification of Critical SystemsWhen: Sept. 24, 2014, 9:30 - Sept. 26, 2014, 13:30 Who: other: International Workshop, see http://fmt.ewi.utwente.nl/conferences/avocs2014/ |