Prof. Dr. Ralf Jung

Prof. Dr.  Ralf Jung

Prof. Dr. Ralf Jung

Assistenzprofessor am Departement Informatik

ETH Zürich

Professur für Informatik

CNB H 109

Universitätstrasse 6

8092 Zürich

Schweiz

Zusätzliche Informationen

Vorlesungsverzeichnis

Frühjahrssemester 2025

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