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

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 May 21 06:27:48 2017 CEST generiert.