Object Constraint Language - Document - PDFSEARCH.IO

First Page	Meta Content
	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗ Add to Reading List Document Date: 2012-09-25 06:20:13 Open Document File Size: 203,87 KB Share Result on Facebook

UPDATE

Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗Add to Reading List