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.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
- Special Issue: Automated verification of critical systems (AVoCS). Selected and revised papers based on the presentation at the international workshop, Southhampton, UK, April 2--3, 2003.
- Proceedings of the 5th international workshop on automated verification of critical systems (AVoCS 2005), University of Warwick, Coventry, UK, September 12--13, 2005
- Special issue: Selected papers based on the presentations at the workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, Septemper 2006, and the verification workshop (VERIFY'06), Seattle, WA, USA, August 2006.
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.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q435219)
