Formally Verified Modular Semantics

  • Marko van Eekelen (Assessment committee member)

Activity: PhD supervision and PhD examination types › PhD examination › Academic

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