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]
Official URL: http://tuprints.ulb.tu-darmstadt.de/5910/
| 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 |
Drucken
Impressum