Contact

The HATS project can be contacted through the Scientific Coordinator: Professor Reiner Hähnle, Technische Universität Darmstadt, Department of Computer Science, D-64289 Darmstadt,  Germany. Email: haehnle "at" cs.tu-darmstadt.de, Phone: +49 (0) 6151-16 75383