Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2011
Claude Marché : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00772519
Soumis le : jeudi 10 janvier 2013-15:57:39
Dernière modification le : mardi 18 juin 2024-14:20:04
Dates et versions
Identifiants
- HAL Id : hal-00772519 , version 1
Citer
Bernhard Beckert, Claude Marché (Dir.). 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⟩
89
Consultations
0
Téléchargements