Hugh C. Lauer
Original record- Institution
- Carnegie Mellon University
- Year
- 1972
- Country
- United States
- MGP identifier
- 185791
Dissertation: On Correctness in Operating Systems
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Arie Nicolaas HabermannTechnische Universiteit Eindhoven · 1967
- William Allan WulfInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Roy Harold Campbell | University of Newcastle upon Tyne | 1977 | 54 |
| Keith Ansel Marzullo | Stanford University | 1984 | 14 |