Karlsruher Institut für Technologie (KIT)
Institut für Theoretische Informatik
Forschungsgruppe Logik und Formale Methoden (aufgelöst)

Address Post Office Box 6980
76128 Karlsruhe
Deutschland

76128 Karlsruhe