Richard Schlichting
Original record- Institution
- Cornell University
- Year
- 1982
- Country
- United States
- MGP identifier
- 152994
Dissertation: Axiomatic Verification to Enhance Software Reliability
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Fred Barry SchneiderState University of New York at Stony Brook · 1978
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Lehman Edwin Henderson, Jr. | University of Arizona | 1991 | 0 |