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

Institut für Informatik | Holger Schlingloff

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: