max planck institut
informatik
informatik
Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic
Campus E1 4, Room 2.23 (Building E1 7)
66123 Saarbrücken
Germany
Email:
Get my email address via email
Phone: +49 681 9325 2900
Fax: +49 681 9325 2999