Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2010
Claude Marché : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00534339
Soumis le : mardi 9 novembre 2010-13:25:15
Dernière modification le : mardi 18 juin 2024-14:20:04
Dates et versions
Identifiants
- HAL Id : inria-00534339 , version 1
Citer
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
51
Consultations
0
Téléchargements