Erika Abraham
Ph.D. Universiteit Leiden 2005
Dissertation:
An Assertional Proof System for Multithreaded Java - Theory and Tool Support
Mathematics Subject Classification: 68—Computer science
Advisor 1: Joost Nico Kok
Advisor 2: Willem-Paul de Roever
Advisor 3: Frank Sipke de Boer
Advisor 4: Martin Steffen
Student:
| Name | School | Year | Descendants |
|---|---|---|---|
| Jansen, Nils | Rheinisch-Westfälische Technische Hochschule Aachen | 2015 |
According to our current on-line database, Erika Abraham has 1 student and 1 descendant.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 88227 for the advisor ID.