18-20th September 2012

Bamberg, Germany

12th International Workshop on Automated Verification of Critical Systems

Contact and Organization

If you have any enquires about the workshop, please contact us at the following address: .

Organization Committee