Univ.-Prof. Dr. rer. nat. Peter Hertling

INF 1 Institut für Theoretische Informatik, Mathematik und Operations Research

Gebäude 41/400, Zimmer 041/1406
+49 89 6004 3385
peter.hertling@unibw.de

Professur für Verifikation von Hard- und Software / Spezifikationsmethoden / Komplexitätstheorie

Institut für Theoretische Informatik, Mathematik und Operations Research - INF 1