2014

Conférence Internationale avec comité de lecture

• [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.-,