Travelled to:
1 × Germany
Collaborated with:
A.Gotlieb Y.Lebbah
Talks about:
constraint (1) framework (1) program (1) correct (1) automat (1)
Person: Nadjib Lazaar
DBLP: Lazaar:Nadjib
Contributed to:
Wrote 1 papers:
- ICST-2011-LazaarGL #automation #constraints #framework #source code
- A Framework for the Automatic Correction of Constraint Programs (NL, AG, YL), pp. 319–326.