Claude Marché
2
Documents
Publications
- 2
- 2
- 1
- 2
|
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof ObligationsAbstract State Machines, Alloy, B, VDM, and Z, Jun 2014, Toulouse, France. pp.290-293
Communication dans un congrès
hal-00998092v1
|
|
Le projet BWare : une plate-forme pour la vérification automatique d'obligations de preuve BApproches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France
Communication dans un congrès
hal-00998094v1
|