Doctoral Thesis Pre-examiner, Masaryk University, Faculty of Informatics, Czech Republic

Keijo Heljanko (Examiner)

Activity: Examination typesPre-examination of dissertation or acting as opponent to doctoral students

Description

Doctoral Thesis Pre-examiner: Automating Software Development
with Explicit Model Checking, Masaryk University, Faculty of Informatics,
Czech Republic, Jan 2016.
PeriodJan 2016
Examinee
Examination held atMasaryk University
Degree of RecognitionLocal