Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Prof. Dr. Holger Schlingloff

Leiter des Lehrstuhls Spezifikation, Verifikation und Testtheorie

  Adresse:

Humboldt-Universität zu Berlin
Institut für Informatik

Unter den Linden 6
10099 Berlin

Sitz:

Humboldt-Universität zu Berlin
Institut für Informatik
Haus IV, 4.Etage, Raum IV.411

Rudower Chaussee 25
12489 Berlin

Sprechstunde: Nach Vereinbarung
Telefon: +49 30-2093-3074 (Büro)
Fax: +49 30 2093-5484
E-Mail: