Books
Year : 2011
Claude Marché : Connect in order to contact the contributor
https://inria.hal.science/hal-00772519
Submitted on : Thursday, January 10, 2013-3:57:39 PM
Last modification on : Tuesday, September 19, 2023-1:26:03 PM
Dates and versions
Identifiers
- HAL Id : hal-00772519 , version 1
Cite
Bernhard Beckert, Claude Marché (Dir.). Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010. Bernhard Beckert and Claude Marché. Springer, 6528, pp.200, 2011. ⟨hal-00772519⟩
81
View
0
Download