Publications

From BWare
Jump to: navigation, search
(International Conferences)
Line 11: Line 11:
 
== 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.
+
* 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. ([[Media:Delahaye-AFADL14.pdf|PDF]])

Revision as of 16:18, 27 September 2014

Personal tools
Namespaces

Variants
Actions
Navigation
Toolbox