Book 1321 views
AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
Liam O'Reilly,
Markus Roggenbach 
Start page: 262 pp.
Swansea University Author:
Markus Roggenbach
Abstract
AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems
| Published: |
Swansea University
2009
|
|---|---|
| URI: | https://cronfa.swan.ac.uk/Record/cronfa194 |
| Item Description: |
Technical Report of Computer Science CSR-2-2009 |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
262 pp. |