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: B | D | F | H | W
Anzahl der Einträge auf dieser Ebene: 5.

B

Bubel, Richard :
Deduktive Verifikation : Von der Theorie in die Praxis.
Darmstadt
[Habilitation], (2018)

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)

F

Flores Montoya, Antonio :
Cost Analysis of Programs Based on the Refinement of Cost Relations.
[Online-Edition: http://tuprints.ulb.tu-darmstadt.de/6746]
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 Apr 22 06:51:17 2018 CEST generiert.