Formal Methods Europe

Homepage of FME

AVOCS 2013

By Bernhard Aichernig • Apr 10th, 2013 • Category: Sponsored by FME

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

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.

Comments are closed.