Course information | Seminar "Symbolic Execution" | Lernportal Informatik

Seminar "Symbolic Execution"

Seminar about symbolic execution as versatile program analysis technique

Dozent*in: Richard Bubel
Dozent*in: Reiner Hähnle
Dozent*in: Jakob Laenge
Dozent*in: Dominic Steinhöfel