Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
- 1
- 1
|
|
Discharging Proof Obligations from Atelier B using Multiple Automated ProversABZ - 3rd International Conference on Abstract State Machines, Alloy, B and Z, Jun 2012, Pisa, Italy
Communication dans un congrès
hal-00681781v1
|