?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Dang%2C+Duc+Hanh&rft.aulast=Dang&rft.aufirst=Duc+Hanh&rft.date=9+October+2014&rft.title=On+Automating+Inference+of+OCL+Constraints+from+Counterexamples+and+Examples&rft.genre=proceeding