Project Details
Max Planck Institute for Informatics
Saarland Informatics Campus
Research Group 1: Automation of Logic
Address
Building E1 4
66123 Saarbrücken
Deutschland