No Cover Image

Book 490 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

Published: Swansea University 2009
URI: https://cronfa.swan.ac.uk/Record/cronfa194
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.