Persistent URL of this record https://hdl.handle.net/1887/4362
Documents
-
- Download
- Chapter 3
- open access
- Full text at publishers site
-
- Download
- Chapter 4
- open access
- Full text at publishers site
-
- Download
- Chapter 5
- open access
- Full text at publishers site
-
- Download
- Appendices
- open access
-
- Download
- Bibliography_Summary_Summary in Dutch_CV_
- open access
-
- Download
- Propositions
- open access
In Collections
This item can be found in the following collections:
Verifying OCL specifications of UML models : tool support and compositionality
- All authors
- Kyas, M.
- Supervisor
- Kok, J.N.; Roever, W.P. de
- Co-supervisor
- Boer, F.S. de
- Qualification
- Doctor (dr.)
- Awarding Institution
- Faculty of Science , Leiden University
- Date
- 2006-04-04
- Publisher
- Lehmanns Media
- ISBN
- 9783865411426
Funding
- Sponsorship
- Part of this work has been financially supported by IST project OMEGA (IST-33522-2001) and NWO/DFG project Mobi-j (RO 1122/9-1, RO 1122/9-2). The work has been carried out at the Christian-Albrechts-Universität zu Kiel, Germany.