KIT - Anwendungsorientierte Formale Verifikation - Mitarbeiterin

Simone Meinhart Sekretariat
	Raum 223, Gebäude 50.34 Tel.: +49 721 608-44023 Fax: +49 721 608-44021 simone meinhartXwx3∂kit edu	KIT / Institut für Informationssicherheit und Verlässlichkeit & Institut für Theoretische Informatik Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland

Sekretariat

Raum 223, Gebäude 50.34
Tel.: +49 721 608-44023
Fax: +49 721 608-44021
simone meinhartXwx3∂kit edu

KIT / Institut für Informationssicherheit und Verlässlichkeit
& Institut für Theoretische Informatik

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland