Formally Verified Modular Semantics

Activity: Examination typesPhD examinationAcademic

Period9 Oct 2014
ExamineeKen Madlener
Examination held atRadboud University Nijmegen
Degree of RecognitionInternational