APA Citation

Roggenbach, M., & O'Reilly, L. (2009). AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems. Swansea University.

Chicago Style Citation

Roggenbach, Markus, and Liam O'Reilly. AVoCS'09 - PreProceedings of the Ninth International Workshop On Automated Verification of Critical Systems. Swansea University, 2009.

MLA Citation

Roggenbach, Markus, and Liam O'Reilly. AVoCS'09 - PreProceedings of the Ninth International Workshop On Automated Verification of Critical Systems. Swansea University, 2009.

Warning: These citations may not always be 100% accurate.