Zum Hauptinhalt
Lernportal Informatik
Deutsch (Du) (de_du)
Deutsch (de)
Deutsch (Du) (de_du)
English (en)
Du bist nicht angemeldet. (
Login
)
Kursinformation
Startseite
Kurse
Wintersemester 2018/19
Wahlbereiche
SymbExec
Beschreibung
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