- 2
David Delahaye
2
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 1
- 1
- 2
- 2
BCARe : un environnement pour la vérification de règles de l?Atelier BApproches Formelles dans l'Assistance au D?veloppement de Logiciels (AFADL 2012), Jan 2012, Grenoble, France. pp.46-49
Communication dans un congrès
hal-01126033v1
|
|
Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem ProverInternational Joint Conference on Automated Reasoning (IJCAR 2012), Jun 2012, Manchester, Ukraine. pp.332--338
Communication dans un congrès
hal-01126134v1
|