Contact

For any questions related to the SPECMATE project please contact Andreas Zeller:

Andreas Zeller
Campus E1 1
66123 Saarbrücken, Germany
E-mail: zeller@cs.uni-saarland.de
Webpage: http://www.st.cs.uni-saarland.de/zeller/
Phone: +49 (0) 681 302-70971