Professor Dr. Peter H. Schmitt

Address Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)
Post Office Box 6980
76128 Karlsruhe