Special issue: Computer aided verification (CAV'10). Selected papers based on the presentations at the 22nd international conference, Edinburgh, UK, July 15--19, 2010.

MaRDI QIDQ420533zbMATH OpenFDO

Authors

Publication date 22 May 2012

Published in Formal Methods in System Design (Search for Journal in Brave)

Mathematics Subject Classification ID

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)

Cited in

(2)

• Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009
• Special issue: CAV '97. Selected papers of the 9th international conference on computer-aided verification, Haifa, Israel, June 22--25, 1997

This page was built for publication: Special issue: Computer aided verification (CAV'10). Selected papers based on the presentations at the 22nd international conference, Edinburgh, UK, July 15--19, 2010.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q420533)