- 2
David Delahaye
2
Documents
Identifiants chercheurs
- david-delahaye
- 0000-0003-4779-1359
- IdRef : 082035970
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 2
- 2
|
An Automation-Friendly Set Theory for the B MethodABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.409-414, ⟨10.1007/978-3-319-91271-4_32⟩
Communication dans un congrès
hal-02082755v1
|
|
SMT Solving Modulo Tableau and Rewriting TheoriesSMT 2018 - 16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-02083232v1
|