Grigoios Antoniou

MathSciNet


Ph.D. Universität Osnabrück 1989 Germany
Dissertation: Über die Verifikation modularer Programme

Advisor: Volker Sperschneider

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