Humboldt-Universität zu Berlin
Anmelden

Forschende

1 Treffer mit Thema „Formale Methoden“ in Mathematisch-Naturwissenschaftliche Fakultät · Themen-Filter entfernen

RelevanzName
Lieber eine ganze Idee in Sätzen beschreiben? Zur Ideen-Suche →
Mathematisch-Naturwissenschaftliche Fakultät
HS
Prof. Dr. Holger Schlingloff
Institut für Informatik · Mathematisch-Naturwissenschaftliche Fakultät

Prof. Dr. Holger Schlingloff forscht am Institut für Informatik der Humboldt-Universität mit dem Schwerpunkt Softwaretechnik.

8Projekte