Books
Year : 2010
Claude Marché : Connect in order to contact the contributor
https://inria.hal.science/inria-00534339
Submitted on : Tuesday, November 9, 2010-1:25:15 PM
Last modification on : Tuesday, September 19, 2023-1:26:03 PM
Dates and versions
Identifiers
- HAL Id : inria-00534339 , version 1
Cite
Bernhard Beckert, Claude Marché (Dir.). Formal Verification of Object-Oriented Software, Papers Presented at the International Conference. Bernhard Beckert and Claude Marché. Karlsruhe University, 2010-13, pp.368, 2010, Karlsruhe Reports in Informatics. ⟨inria-00534339⟩
Collections
35
View
0
Download