Prof. Dr. Ralf Jung

Assistenzprofessor am Departement Informatik

ETH Zürich

Professur für Informatik

Universitätstrasse 6

8092 Zürich

Schweiz

Zusätzliche Informationen

Nummer	Veranstaltung
252-0058-00L	Formal Methods and Functional Programming