Course information | Seminar: Aktuelle Themen aus dem Gebiet der Verifikation WiSe 2026/27, Markus Müller-Olm, Roman Lakenbrink, Jens Gutsfeld | Learnweb

Seminar: Aktuelle Themen aus dem Gebiet der Verifikation WiSe 2026/27, Markus Müller-Olm, Roman Lakenbrink, Jens Gutsfeld

Kurs im HIS-LSF

Lehrende/r: Jens Oliver Gutsfeld
Lehrende/r: Roman Lakenbrink
Lehrende/r: Markus Müller-Olm

Semester: WT 2026/27