SZS - Contact

	Institute of Formal Methods in Computer Science
	Software Reliability and Security Group

Head: Dr. Martin Leucker (in lieu of Prof. Dr. Javier Esparza)
Secretary: Margot Roubicek

Office: 1.353
Phone: +49 711 7816-456
Fax: +49 711 7816-462
Address:

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, Germany
Map of our offices
How to find us

Software Reliability and Security Group