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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Bernhard Beckert and Claude Marché. 2010-13, Karlsruhe University, pp.368, 2010, Karlsruhe Reports in Informatics
Liste complète des métadonnées

https://hal.inria.fr/inria-00534339
Contributeur : Claude Marché <>
Soumis le : mardi 9 novembre 2010 - 13:25:15
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

78