The following pages link to David Déharbe (Q436374):
Displaying 7 items.
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Integration of SMT-solvers in B and Event-B development environments (Q1951640) (← links)
- (Q2848454) (← links)
- Distributing the Workload in a Lazy Theorem-Prover (Q2870323) (← links)
- Verified Compilation and the B Method: A Proposal and a First Appraisal (Q5179355) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
