Amanote Research
Register
Sign In
A Framework for the Automatic Correction of Constraint Programs
doi 10.1109/icst.2011.41
Full Text
Open PDF
Abstract
Available in
full text
Date
March 1, 2011
Authors
Nadjib Lazaar
Arnaud Gotlieb
Yahia Lebbah
Publisher
IEEE