AVOCS 2010

September 20-23, 2010

10th International Workshop on Automated Verification of Critical Systems
10 years AVOCS
The workshop will take place together with the Rodin User and Developer Workshop in Düsseldorf

www.formal-methods.de/avocs10