Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers (Q619015)
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: Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers |
scientific article; zbMATH DE number 5838049
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers |
scientific article; zbMATH DE number 5838049 |
Statements
Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers (English)
0 references
18 January 2011
0 references
0.8355441
0 references
0.83297056
0 references
0.8283394
0 references
0.8222687
0 references
0.82135046
0 references
