Klaus Bothe

MathSciNet


Ph.D. Humboldt-Universität zu Berlin 1978 Germany
Dissertation: Spezifikation und Verifikation abstrakter Datentypen

Advisor: Dieter Bär

No students known.

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 29761 for the advisor ID.