TU Darmstadt / ULB / TUbiblio

Einträge mit Organisationseinheit "20 Fachbereich Informatik > Software Engineering"

Ebene hoch
Gruppiere nach: Autor(en) | Datum | Typ des Eintrags | Sprache | Keine Gruppierung
Springe zu: D | H | W
Anzahl der Einträge auf dieser Ebene: 3.

D

Do, Quoc Huy :
Detection and Exploitation of Information Flow Leaks.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6258]
Technische Universität , Darmstadt
[Dissertation], (2017)

H

Hentschel, Martin :
Integrating Symbolic Execution, Debugging and Verification.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5399]
Technische Universität Darmstadt
[Dissertation], (2016)

W

Wasser, Nathan Daniel :
Automatic generation of specifications using verification tools.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5910]
Technische Universität Darmstadt , Darmstadt
[Dissertation], (2016)

Diese Liste wurde am Sun Aug 20 06:49:34 2017 CEST generiert.