Project Details
Institution
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
