- 1
David Delahaye
1
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
|
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
|