Professor Dr. Peter H. Schmitt

Adresse Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)
Postfach 6980
76128 Karlsruhe