Bibliograph.
Daten | Suwimonteerabuth, Dejvuth: Verifying Java Bytecode with the Moped Model Checker.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Masterarbeit Nr. 5 (2004).
76 Seiten, englisch.
|
|---|
| Kurzfassung | kein Abstract.
|
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Softwaretechnologie, Sichere und Zuverlässige Softwaresysteme
|
|---|
| Betreuer | Esparza, Prof. J.; Schwoon, Dr. S. |
|---|
| Eingabedatum | 3. März 2020 |
|---|