TY  - CONF
ID  - SisLab441
UR  - http://dx.doi.org/10.1007/978-3-319-11680-8_18
A1  - Dang, Duc Hanh
A1  - Cabot, Jordi
Y1  - 2014/10/09/
TI  - On Automating Inference of OCL Constraints from Counterexamples and Examples
SP  - 219
M2  - Hanoi, Vietnam
AV  - none
EP  - 231
T2  - 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014)
ER  -