252-0058-00L Formal Methods and Functional Programming
| Semester | Frühjahrssemester 2022 |
| Dozierende | P. Müller, C. Sprenger |
| Periodizität | jährlich wiederkehrende Veranstaltung |
| Lehrsprache | Englisch |
| Hauptlink | Information |
| Es werden nur die öffentlichen Lernmaterialien aufgeführt. | |