Methods and Concepts for Efficient Verification of UML/OCL Models

Publication: ResearchPh.D. thesis

View graph of relations

Original languageEnglish
PublisherSyddansk Universitet. Det Naturvidenskabelige Fakultet
StatePublished - 2012