Methods and Concepts for Efficient Verification of UML/OCL Models

Asadullah Shaikh

Research output: Thesis › Ph.D. thesis

Original languageEnglish
Publisher
Publication statusPublished - 2012

SDU Link

Check access to the material in SDU Library's search engine

Cite this