Publications

From BWare
(Difference between revisions)
Jump to: navigation, search
(International Conferences)
Line 1: Line 1:
 
== International Conferences ==
 
== 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 ==
 
== National Conferences ==

Revision as of 14:52, 27 September 2014

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