Impressum

Rechtliche Hinweise

KITlogo_4c_deutsch_RGB
Es gelten die rechtlichen Hinweise im Impressum des KIT.

Ansprechpartner und Projektkoordinator

Dr.-Ing. Gunther Schiefer
Web: http://www.aifb.kit.edu/web/Gunther_Schiefer
E-Mail: gunther.schiefer@kit.edu

Karlsruher Institut für Technologie (KIT)
Institut für Angewandete Informatik und Formale Beschreibungsverfahren (AIFB)