Skip to Main content Skip to Navigation
New interface
Books

Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010

Bernhard Beckert 1 Claude Marché 2, 3 
3 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 :
Books
Complete list of metadata

https://hal.inria.fr/hal-00772519
Contributor : Claude Marché Connect in order to contact the contributor
Submitted on : Thursday, January 10, 2013 - 3:57:39 PM
Last modification on : Friday, October 28, 2022 - 3:28:33 AM

Identifiers

  • HAL Id : hal-00772519, version 1

Citation

Bernhard Beckert, Claude Marché. 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⟩

Share

Metrics

Record views

79