Marcel Kyas
Original record- Institution
- Universiteit Leiden
- Year
- 2006
- Country
- Netherlands
- MGP identifier
- 295796
Dissertation: Verifying OCL Specications of UML Models: Tool Support and Compositionality
Advisors 3
- Joost Nico KokVrije Universiteit Amsterdam · 1989
- Willem-Paul de RoeverVrije Universiteit Amsterdam · 1974
- Frank Sipke de BoerVrije Universiteit Amsterdam · 1991
Students 0
No students recorded in this snapshot.