Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009

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