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, June 18, 2024-2:20:04 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⟩
89
View
0
Download