Thomas Walter Doeppner, Jr.
Original record- Institution
- Princeton University
- Year
- 1977
- Country
- United States
- MGP identifier
- 82064
Dissertation: Parallel Program Correctness Through Refinement
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Robert Marion KellerUniversity of California, Berkeley · 1970
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Alessandro Giacalone | Brown University | 1984 | 1 |