Richard Allen Kemmerer
Original record- Institution
- University of California, Los Angeles
- Year
- 1979
- Country
- United States
- MGP identifier
- 69959
Dissertation: Formal Verification of the UCLA Security Kernel: Abstract Model, Mapping Functions, Theorem Generation, and Proofs
Advisors 2
- Gerald John PopekHarvard University · 1973
- Daniel Martin BerryBrown University · 1974
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Zhe Dang | Not recorded | 2000 | 0 |