TU Darmstadt / ULB / TUbiblio

Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen

Wasser, Nathan (2016):
Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen.
Darmstadt University of Technology, Germany, [Online-Edition: http://tuprints.ulb.tu-darmstadt.de/5910/],
[Ph.D. Thesis]

Item Type: Ph.D. Thesis
Erschienen: 2016
Creators: Wasser, Nathan
Title: Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen
Language: German
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 27 Apr 2018 11:01
Official URL: http://tuprints.ulb.tu-darmstadt.de/5910/
Export:

Optionen (nur für Redakteure)

View Item View Item