Allgemeine Informationen
Veranstaltungsname | Seminar: 2.01.490 Seminar Invariantengenerierung |
Untertitel | |
Veranstaltungsnummer | 2.01.490 |
Semester | WiSe21/22 |
Aktuelle Anzahl der Teilnehmenden | 5 |
erwartete Teilnehmendenanzahl | 13 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Seminar in der Kategorie Lehre |
Vorbesprechung | Montag, 25.10.2021 16:00 - 17:00 |
Erster Termin | Montag, 25.10.2021 16:00 - 17:00, Ort: (online) |
Art/Form | |
Lehrsprache | -- |