James Allen Alves-Foss
Original record- Institution
- University of California, Davis
- Year
- 1991
- Country
- United States
- MGP identifier
- 82535
Dissertation: Mechanical Verification of Secure Distributed Specifications
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Karl Norman LevittNew York University · 1966
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Daniel Francisco Conte de Leon | University of Idaho | 2006 | 1 |