Allgemeine Informationen
| Veranstaltungsname | Übung: 2.01.803-A Softwareverifikation (Ü) |
| Untertitel | inf803 |
| Veranstaltungsnummer | 2.01.803-A |
| Semester | WiSe23/24 |
| Aktuelle Anzahl der Teilnehmenden | 3 |
| erwartete Teilnehmendenanzahl | 12 |
| Heimat-Einrichtung | Department für Informatik |
| Veranstaltungstyp | Übung in der Kategorie Lehre |
| Erster Termin | Donnerstag, 19.10.2023 10:00 - 12:00, Ort: A03 2-209 |
| Art/Form | Ü |
| Lehrsprache | deutsch |
