%0 Conference Paper
%A Dang, Duc Hanh
%A Cabot, Jordi
%B 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014)
%C Hanoi, Vietnam
%D 2014
%F SisLab:441
%P 219-231
%T On Automating Inference of OCL Constraints from Counterexamples and Examples
%U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/441/