Bubel, Richard (2018):
Deduktive Verifikation : Von der Theorie in die Praxis.
Darmstadt, [Habilitation]
| Item Type: | Habilitation |
|---|---|
| Erschienen: | 2018 |
| Creators: | Bubel, Richard |
| Title: | Deduktive Verifikation : Von der Theorie in die Praxis |
| Language: | German |
| Place of Publication: | Darmstadt |
| Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
| Date Deposited: | 31 Jan 2018 09:27 |
| Export: |
Optionen (nur für Redakteure)
 |
View Item |
Drucken
Impressum