Kees G. W. Goossens
Original record- Institution
- The University of Edinburgh
- Year
- 1992
- Country
- United Kingdom
- MGP identifier
- 293920
Dissertation: Embedding Hardware Description Languages in Proof Systems
Advisors 2
- Michael Paul FourmanInstitution not recorded
- Stuart Oliver AndersonInstitution not recorded
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Gabriela Doina Breabăn | Technische Universiteit Eindhoven | 2018 | 0 |
| Anca M. Molnos | Technische Universiteit Delft | 2009 | 0 |
| Rasool Tavakoli Najafabadi | Technische Universiteit Eindhoven | 2018 | 0 |
| J. Reinier van Kampenhout | Technische Universiteit Eindhoven | 2019 | 0 |