No Cover Image

ResearchReportExternalBody 345 views

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

Liam O'Reilly Orcid Logo, Markus Roggenbach

Swansea University Author: Liam O'Reilly Orcid Logo

Published: 2009
Online Access: http://www.cs.swan.ac.uk/avocs09/proceedings.php
URI: https://cronfa.swan.ac.uk/Record/cronfa51771
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science