Joseph Wilson
Original record- Institution
- University of Virginia
- Year
- 1985
- Country
- United States
- MGP identifier
- 184285
Dissertation: Data Types and Aliasing in Program Specification and Verification
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Terrence Wendall PrattUniversity of Texas at Austin · 1965
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Christan Grant | University of Florida | 2015 | 1 |
| Clint Pazhayidam George | University of Florida | 2015 | 0 |