No Cover Image

Book 623 views

AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems

Liam O'Reilly, Markus Roggenbach Orcid Logo

Start page: 262 pp.

Swansea University Author: Markus Roggenbach Orcid Logo

Published: Swansea University 2009
Tags: Add Tag
No Tags, Be the first to tag this record!
Item Description: Technical Report of Computer Science CSR-2-2009
College: College of Science
Start Page: 262 pp.