Gerwin Klein
Original record- Institution
- Technische Universität München
- Year
- 2003
- Country
- Germany
- MGP identifier
- 149893
Dissertation: Verifying the Java Bytecode Verifier
Advisor 1
- Tobias NipkowVictoria University of Manchester · 1987
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Artem Starostin | Universität des Saarlandes | 2010 | 0 |
| Harvey Tuch | University of New South Wales | 2008 | 0 |