Summary of Seminar: Symbolic Execution SoSe 21 | Lernportal Informatik

Seminar: Symbolic Execution SoSe 21

Dozent*in: Richard Bubel
Dozent*in: Stefan Dillmann
Dozent*in: Lukas Grätz
Dozent*in: Reiner Hähnle
Dozent*in: Asma Heydari Tabar
Dozent*in: Marco Scaletta

Erste Veranstaltung: Monday, 19 April 2021, 15:30