Contact and Organization
If you have any enquires about the workshop, please contact us at the following address: .
Organization Committee
18-20th September 2012
Bamberg, Germany
12th International Workshop on Automated Verification of Critical Systems
If you have any enquires about the workshop, please contact us at the following address: .