Startseite Dr. Benjamin Doerr Dr. Benjamin Doerr Max-Planck-Institut für Softwaresysteme, Standort Saarbrücken doerr@lix.polytechnique.fr