Formally Verified Modular Semantics

Activity: PhD supervision and PhD examination typesPhD examinationAcademic

Period9 Oct 2014
ExamineeKen Madlener
Examination held at
  • Radboud University Nijmegen
Degree of RecognitionInternational