Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
The COST IC0701 Verification Competition 2011Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2011, 2011, Torino, Italy
Communication dans un congrès
hal-00789525v1
|