| Vst.-Nr. | Veranstaltung | Vst.-Art | Semester | FB / Einrichtung | Aktion |
|---|---|---|---|---|---|
| 23144 | Computergestützte Verifikation | Vorlesung | WS 2023/24 | IEF | |
| 23144 | Computergestützte Verifikation | Übung | WS 2023/24 | IEF | |
| 23883 | Logik | Vorlesung | WS 2023/24 | IEF | |
| 23883 | Logik | Übung | WS 2023/24 | IEF | |
| 238831 | Logik | Übung | WS 2023/24 | IEF |