Special issue: AVoCS'09. Selected papers based on the presentations at the 9th international workshop on automated verification of critical systems, Swansea, Wales, UK, September 23--25, 2009.

No author found.

Publication date: 11 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Special issue: AVoCS'09. Selected papers based on the presentations at the 9th international workshop on automated verification of critical systems, Swansea, Wales, UK, September 23--25, 2009.