Dominique Devriese
Original record- Institution
- Katholieke Universiteit Leuven
- Year
- 2014
- Country
- Belgium
- MGP identifier
- 326461
Dissertation: Functional Techniques for Representing and Specifying Software
Advisors 2
- David (Dave) Gerard ClarkeUniversity of New South Wales · 2002
- Frank PiessensKatholieke Universiteit Leuven · 1996
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jesper Cockx | Katholieke Universiteit Leuven | 2017 | 1 |