Computer Aided Verification

DOI10.1007/3-540-60045-0MaRDI QIDQ6483271zbMATH OpenWikidataFDO

Authors

Publication date 1 January 1

Published in Lecture Notes in Computer Science (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)

Recommendations

• Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
• Computer aided verification. 15th international conference, CAV 2003, Boulder, CO, USA, July 8--12, 2003. Proceedings
• Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings
• Computer aided verification. 5th international conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993. Proceedings
• Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6--10, 2005. Proceedings
• Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27--31, 2002. Proceedings
• Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings
• Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18--22, 2001. Proceedings
• Computer aided verification. 3rd international workshop, CAV '91, Aalborg, Denmark, July 1--4, 1991. Proceedings
• Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part I

Cited in

(2)

• Computer aided verification. 3rd international workshop, CAV '91, Aalborg, Denmark, July 1--4, 1991. Proceedings
• 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: Computer Aided Verification

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