Abstract

Date of Award11 Sep 2014
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorPatrick Heymans (Supervisor), Pierre-Yves Schobbens (Supervisor), Michaël Petit (Jury), J. ATLEE (Jury), Joel Greenyer (Jury) & Axel Legay (Jury)

Cite this

Model checking for the Masses
Cordy, M. (Author). 11 Sep 2014

Student thesis: Doc typesDoctor of Sciences