Jennifer Müller

Max-Planck-Institut für Informatik
Research Group 1: Automation of Logic

office:	Campus E1 5, Room 610 Saarland Informatics Campus 66123 Saarbrücken Germany
email:	Get my email address via email
phone:	+49 681 9325-2900
fax:	+49 681 9325-2999