Accéder directement au contenu

Michel Rueher

2
Documents

Présentation

Publications

29565
Image document

CPBVP: A Constraint-Programming Framework for Bounded Program Verification

Hélène Collavizza , Michel Rueher , Pascal van Hentenryck
The 14th International Conference on Principles and Practice of Constraint Programming, Sep 2008, Sydney, Australia. pp.327-341
Communication dans un congrès hal-00297007v1