No Cover Image

ResearchReportExternalBody 34 views

AVoCS'09 - PreProceedings of the Ninth International Workshop on Automated Verification of Critical Systems / Liam, O'Reilly

Swansesa University Authors: Liam, O'Reilly, Liam, O'Reilly

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