Erika Abraham
Original record- Institution
- Universiteit Leiden
- Year
- 2005
- Country
- Netherlands
- MGP identifier
- 88227
Dissertation: An Assertional Proof System for Multithreaded Java - Theory and Tool Support
Mathematics Subject Classification: 68—Computer science
Advisors 4
- Joost Nico KokVrije Universiteit Amsterdam · 1989
- Frank Sipke de BoerVrije Universiteit Amsterdam · 1991
- Martin SteffenInstitution not recorded
- Willem-Paul de RoeverVrije Universiteit Amsterdam · 1974
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Nils Jansen | Not recorded | — | 0 |