A Framework for the Automatic Correction of Constraint Programs.

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah

Browse the full ICST paper archive.