Stephanie Balzer
Original record- Institution
- ETH Zürich
- Year
- 2011
- Country
- Switzerland
- MGP identifier
- 306305
Dissertation: Rumer: a Programming Language and Modular Verification Technique Based on Relationships
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Thomas Karl Richard GrossStanford University · 1983
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Jules Jacobs | Radboud Universiteit Nijmegen | 2024 | 0 |