Ninth International Workshop on Automated Verification of Critical Systems

Image of Gregynog Logo for AVoCS 2009

Swansea University Computer Science, 23-25 September 2009

Programme Committee