Claude Marché
2
Documents
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
Instrumenting a Weakest Precondition Calculus for Counterexample GenerationJournal of Logical and Algebraic Methods in Programming, 2018, 99, pp.97-113
Article dans une revue
hal-01802488v1
|
|
Modular inference of subprogram contracts for safety checkingJournal of Symbolic Computation, 2010, 45, pp.1184-1211
Article dans une revue
inria-00534331v1
|