Publications

From BWare
Revision as of 15:52, 27 September 2014 by Bware (Talk | contribs)

Jump to: navigation, search

International Conferences

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

National Conferences

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox