Koen Claessen
Original record- Institution
- Chalmers Tekniska Högskola
- Year
- 2001
- Country
- Sweden
- MGP identifier
- 246093
Dissertation: Embedded languages for describing and verifying hardware
Mathematics Subject Classification: 68—Computer science
Advisors 0
No advisor recorded in this snapshot.
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Herbert Lange | Göteborgs universitet | 2020 | 0 |
| Inari Listenmaa | Göteborgs universitet | 2019 | 0 |