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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Bernhard Beckert and Claude Marché. 6528, Springer, pp.200, 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00772519
Contributeur : Claude Marché <>
Soumis le : jeudi 10 janvier 2013 - 15:57:39
Dernière modification le : jeudi 5 avril 2018 - 12:30:08

Identifiants

  • HAL Id : hal-00772519, version 1

Collections

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é. 6528, Springer, pp.200, 2011. 〈hal-00772519〉

Partager

Métriques

Consultations de la notice

176