Veith, Helmut
Prefix title Titel (vorangestellt)
Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Veith, Helmut
Date issued
Fulltext
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut | Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints | Article Artikel  | 2017 |
Date issued
Fulltext
Results 1-4 of 4 (Search time: 0.005 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 |  | Birgmeier, Johannes | Software verification with IC3 via abstraction and interpolation | Thesis Hochschulschrift | 2013 |
| 2 |  | Pani, Thomas | Loop patterns in C programs | Thesis Hochschulschrift | 2013 |
| 3 |  | Dobiasch, Martin | Concolic testing of concurrent software in the context of weak memory models | Thesis Hochschulschrift | 2014 |
| 4 |  | Ehsani, Anna Parisa | Der Animationsfilm im Informationsdesign : die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der Informatik | Thesis Hochschulschrift | 2015 |