ResearchReportExternalBody 1421 views
AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
Liam O'Reilly 
,
Markus Roggenbach
,
Markus Roggenbach
Swansea University Author:
Liam O'Reilly
Abstract
AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
| Published: |
2009
|
|---|---|
| Online Access: |
http://www.cs.swan.ac.uk/avocs09/proceedings.php |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa51771 |
| College: |
Faculty of Science and Engineering |
|---|