|
 
|
Claude Marché
|
Membre exterieur Laboratoire: INRIA Saclay - Ile de France (FR) |
Publications
2014
- [DDM14] D. Delahaye, C. Dubois, C. Marché, D. Mentré. "The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations", Abstract State Machines, Alloy, B, VDM, and Z (ABZ), June 2014, pp.-,
