Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Simone Meinhart

Office Management

Room 223, Building 50.34
Phone: +49 721 608-44023
Fax:      +49 721 608-44021
simone meinhartXwx3∂kit edu
KIT / Institute of Theoretical Informatics

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany