Prof. Dr. Ralf Jung
Prof. Dr. Ralf Jung
Assistant Professor at the Department of Computer Science
Additional information
Course Catalogue
Spring Semester 2025
| Number | Unit |
|---|---|
| 252-0058-00L | Formal Methods and Functional Programming |