Abstract

Date of Award11 Sep 2014
Original languageEnglish
Awarding Institution
  • University of Namur
SupervisorPatrick HEYMANS (Supervisor), PIERRE-YVES SCHOBBENS (Supervisor), Michael 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