Karlsruhe Group
Karlsruhe Institute of TechnologyInstitute of Theoretical Informatics
Prof. Dr. Bernhard Beckert
Am Fasanengarten 5
76128 Karlsruhe
Germany
Phone:
Fax:
Email:
Gothenburg Group
Chalmers University of TechnologyDepartment of Computing Science
Prof. Dr. Wolfgang Ahrendt
Rännsvägen 6b
S-41296 Gothenburg
Sweden
Phone:
Fax:
Email:
Darmstadt Group
Technische Universität DarmstadtFachgebiet Software Engineering
Prof. Dr. Reiner Hähnle
Hochschulstr. 10
64289 Darmstadt
Germany
Phone:
Fax:
Email:
In case of general questions about KeY please contact: support@key-project.org.