Professor/in für Logik und Verifikation in der Informatik

Technische Universität München