Skip to Main content Skip to Navigation
Directions of work or proceedings

Formal Verification of Object-Oriented Software, Papers Presented at the International Conference

Bernhard Beckert 1 Claude Marché 2 
2 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/inria-00534339
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Tuesday, November 9, 2010 - 1:25:15 PM
Last modification on : Sunday, June 26, 2022 - 11:52:33 AM

Identifiers

  • HAL Id : inria-00534339, version 1

Collections

Citation

Bernhard Beckert, Claude Marché. Formal Verification of Object-Oriented Software, Papers Presented at the International Conference. Bernhard Beckert and Claude Marché. 2010-13, Karlsruhe University, pp.368, 2010, Karlsruhe Reports in Informatics. ⟨inria-00534339⟩

Share

Metrics

Record views

31