Methods and Concepts for Efficient Verification of UML/OCL Models

Asadullah Shaikh

Publikation: Afhandling › Ph.d.-afhandling

Originalsprog	Engelsk
Udgiver	Syddansk Universitet. Det Naturvidenskabelige Fakultet
Status	Udgivet - 2012

SDU link