Methods and Concepts for Efficient Verification of UML/OCL Models

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

  • Asadullah Shaikh

View graph of relations

LanguageEnglish
PublisherSyddansk Universitet. Det Naturvidenskabelige Fakultet
StatePublished - 2012