Software reliability and security group Address: Institut für Formale Methoden der Informatik Universität Stuttgart Universitätsstr. 38 70569 Stuttgart Germany Office: 1.345 Phone: +49 711 7816-455 Email: leucker@in.tum.de

Meine vollständige Homepage

Teaching: WS 2007/08: Logik (Vorlesung) WS 2007/08: Grundzüge der Softwarezuverlässigkeit (Vorlesung)

Publications