International Workshop on Automated Verification of Critical Systems

Contact

Email: M.Roggenbach@swansea.ac.uk

Postal Address:
Dr Markus Roggenbach
Computer Science
Swansea University
Singleton Park
Swansea SA2 8PP
United Kingdom