Beschreibung von Seminar SoSe2019: Symbolic Execution | Lernportal Informatik

Seminar SoSe2019: Symbolic Execution

Website for the seminar "Symbolic Execution"

Dozent*in: Richard Bubel
Dozent*in: Reiner Hähnle
Dozent*in: Eduard Kamburjan
Dozent*in: Dominic Steinhöfel