Ronald Middelkoop
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 2011
- Country
- Netherlands
- MGP identifier
- 297203
Dissertation: Capturing and Exploiting Abstract Views of States in OO Verification
Advisors 3
- Mark (Marinus) Gerardus Josephus van den BrandKatholieke Universiteit Nijmegen · 1992
- Cornelis HuizingTechnische Universiteit Eindhoven · 1991
- Ruurd KuiperTechnische Universiteit Eindhoven · 1989
Students 0
No students recorded in this snapshot.