No Cover Image

Book 642 views

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

Markus Roggenbach Orcid Logo

Electronic Communications of the EASST, Volume: 23, Start page: 262 pp.

Swansea University Author: Markus Roggenbach Orcid Logo

Published in: Electronic Communications of the EASST
Published: 2009
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 262 pp.