SZS - Kontakt

	Institut für Formale Methoden der Informatik
	Abteilung Sichere und Zuverlässige Softwaresysteme

Leiter: Dr. Martin Leucker (Vertretung, ehemals Prof. Dr. Javier Esparza)
Sekretariat: Margot Roubicek

Raum: 1.353
Telefon: 0711/7816-456
Fax: 0711/7816-462
Anschrift:

Abteilung Sichere und Zuverlässige Softwaresysteme

Institut für Formale Methoden der Informatik
Fakultät Informatik, Elektrotechnik und Informationstechnik
Universität Stuttgart

Universitätsstr. 38

70569 Stuttgart
Raumplan
Wegbeschreibung (in Englisch)

Abteilung Sichere und Zuverlässige Softwaresysteme