Methods and Concepts for Efficient Verification of UML/OCL Models

Asadullah Shaikh

Research output: Thesis › Ph.D. thesis

Original language	English
Publisher	Syddansk Universitet. Det Naturvidenskabelige Fakultet
Publication status	Published - 2012

Cite this