- 2
Michel Rueher
2
Documents
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
|
CPBVP: A Constraint-Programming Framework for Bounded Program VerificationThe 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341
Communication dans un congrès
hal-00297007v1
|
|
Refining Abstract Interpretation-based Approximations with Constraint Solvers[Research Report] Laboratoire I3S / UNS. 2011
Rapport
hal-00623274v1
|