AVOCS 2013

13th Automated Verification of Critical Systems (AVOCS) 2013 Workshop

http://www.avocs2013.org.uk

11-13th September, 2013
University of Surrey, UK

Submission (abstract for full paper): 31st May 2013
Submission (full papers): 7th June 2013

FME is sponsoring three students bursaries for the event.

Author: Bernhard Aichernig

Share