Back to Results
First PageMeta Content
Unified Modeling Language / Object Constraint Language / Software / Data management / ECO / Isabelle / OCL / Null / Higher-order logic


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