Mads Christian Olesen
Original record- Institution
- Aalborg Universitet
- Year
- 2014
- Country
- Denmark
- MGP identifier
- 305673
Dissertation: Program Analysis as Model Checking
Advisors 2
- Kim Guldstrand LarsenThe University of Edinburgh · 1986
- René Rydhof HansenTechnical University of Denmark · 2005
Students 0
No students recorded in this snapshot.