Bibliograph.
Daten | Berger, Felix: A test and verification environment for Java programs.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 23 (2006).
97 Seiten, englisch.
|
|---|
| Kurzfassung | kein Abstract.
|
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Softwaretechnologie, Sichere und Zuverlässige Softwaresysteme
|
|---|
| Betreuer | Esparza, Prof. Javier; Schwoon, Dr. Stefan |
|---|
| Eingabedatum | 8. Juni 2021 |
|---|