Publications

From BWare
Jump to: navigation, search
(International Conferences)
(National Conferences)
Line 10: Line 10:
  
 
== National Conferences ==
 
== National Conferences ==
 +
 +
* David Delahaye, Claude Marché, and David Mentré. Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve B. In Catherine Dubois and Régine Laleau, editors, ''Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL)'', Paris (France), June 2014. To appear.

Revision as of 15:02, 27 September 2014

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox