Symbolic Execution as a Framework for Deductive Verification of Object-Oriented Programs
| Zugehörige Institution(en) am KIT | Fakultät für Informatik (INFORMATIK) |
| Publikationstyp | Hochschulschrift |
| Publikationsjahr | 2007 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-940333-21-6 KITopen-ID: 1000007063 |
| Verlag | Sierke Verlag |
| Art der Arbeit | Dissertation |
| Fakultät | Fakultät für Informatik (INFORMATIK) |
| Prüfungsdaten | 16.02.2007 |
| Referent/Betreuer | Schmitt, P. H. |