Contact
Email: avocs09@swansea.ac.uk
Postal Address:
AVoCS 2009
c/o Markus Roggenbach
Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
United Kingdom
Ninth International Workshop on Automated Verification of Critical Systems
Swansea University Computer Science, 23-25 September 2009