Formal Domain Engineering: From Specification to Validation

  • Atif Mashkook

Student thesis: Doc typesDoctor of Sciences

Abstract

Date of Award2011
Original languageEnglish
SupervisorPatrick Heymans (Jury)

Cite this

Formal Domain Engineering: From Specification to Validation
Mashkook, A. (Author). 2011

Student thesis: Doc typesDoctor of Sciences