Verifying OCL specifications of UML models: tool support and compositionakity

Marcel Kyas. Verifying OCL specifications of UML models: tool support and compositionakity. PhD thesis, Leiden University, 2006.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.