Peter Hitchcock
Original record- Institution
- University of Warwick
- Year
- 1974
- Country
- United Kingdom
- MGP identifier
- 73444
Dissertation: An Approach to Formal Reasoning about Programs
Advisor 1
- David Michael Ritchie ParkMassachusetts Institute of Technology · 1964
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Sergiu-Mihai Dascalu | Dalhousie University | 2001 | 2 |