Revision as of 15:52, 27 September 2014 by Bware
- David Delahaye, Catherine Dubois, Claude Marché, and David Mentré. The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations. In Yamine Ait Ameur and Klaus-Dieter Schewe, editors, Abstract State Machines, Alloy, B, VDM, and Z (ABZ), Lecture Notes in Computer Science (LNCS), Toulouse (France), June 2014. Springer. To appear.