Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
type: Item
instance of: scholarly article
title: Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
zbMATH Open document ID: 1165.68004
DOI: 10.1007/978-3-642-02658-4
published in: Lecture Notes in Computer Science
publication date: 2009-06-25T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 5569729
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-02658-4
OpenAlex ID: W1647861174
Recommended article: Special issue: Computer aided verification (CAV'09). Selected papers based on the presentations at the 21st conference, Grenoble, France, June 26 -- July 2, 2009
Recommended article: Computer aided verification. 13th international conference, CAV 2001, Paris, France, July 18--22, 2001. Proceedings
Recommended article: Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings
Recommended article: Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
Recommended article: Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7--14, 2008. Proceedings
Recommended article: Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3--7, 2007. Proceedings.
Recommended article: Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7--13, 2012. Proceedings
Recommended article: Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017. Proceedings. Part I
Recommended article: Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15--19, 2010. Proceedings
Recommended article: Computer aided verification. 9th international conference, CAV'97, Haifa, Israel, June 22--25, 1997. Proceedings
description: scientific article; zbMATH DE number 5569729