Formal Domain Engineering: From Specification to Validation

  • Atif Mashkook

Student thesis: Doc types › Doctor of Sciences

Date of Award2011
Original languageEnglish
SupervisorPatrick Heymans (Jury)

Cite this

'