Karlsruhe Group
Institute of Information Security and Dependability
Prof. Dr. Bernhard Beckert
Am Fasanengarten 5
76131 Karlsruhe
Germany
Phone: +49-721-608-44025
Fax: +49-721-608-44021
Email: beckert@kit.edu
Gothenburg Group
Department of Computing Science
Prof. Dr. Wolfgang Ahrendt
Rännsvägen 6b
S-41296 Gothenburg
Sweden
Phone: +46-31-772-1011
Fax: +46-31-772-3663
Email: ahrendt@chalmers.se
Darmstadt Group
Fachgebiet Software Engineering
Prof. Dr. Reiner Hähnle
Hochschulstr. 10
64289 Darmstadt
Germany
Phone: +49-6151-16-21361
Fax: +49-6151-16-22361
Email: haehnle@cs.tu-darmstadt.de
In case of general questions about KeY, please contact support@key-project.org.