Organising Committee
The local organisers are:
- Erwin R. Catesbeiana (Jr)
- Phillip James
- Temesghen Kahsai
- Liam O'Reilly
- Markus Roggenbach
Ninth International Workshop on Automated Verification of Critical Systems
Swansea University Computer Science, 23-25 September 2009