Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings (Q1026424)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings |
scientific article; zbMATH DE number 5569729
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings |
scientific article; zbMATH DE number 5569729 |
Statements
Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings (English)
0 references
25 June 2009
0 references
0.9536089
0 references
0.9355143
0 references
0.93006015
0 references
0.9200104
0 references
0.91775584
0 references
0.91644764
0 references
0.9160099
0 references
0.91495323
0 references
0.91475683
0 references
