Heiko Mantel
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 156715
Dissertation: A Uniform Framework for the Formal Specification and Verification of Information Flow Security
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 3
- Jörg H. SiekmannUniversity of Essex · 1976
- David Alan BasinCornell University · 1989
- John D. McLeanInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Richard Gay | Not recorded | — | 0 |
| Hennning Sudbrock | Not recorded | — | 0 |