Treffer: Integrating symbolic execution, debugging and verification
Titel:
Integrating symbolic execution, debugging and verification = Integration von symbolischer Programmausführung, Debugging und Verifikation / vorgelegt von Martin Hentschel M.Sc.
Beteiligt:
Veröffentlicht:
Darmstadt, 2016
Umfang:
1 Online-Ressource (xxi, 195 Seiten) : Diagramme
Format:
Sprache:
Englisch
Hochschulschrift:
Dissertation, Technische Universität Darmstadt, 2016
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe:
Anmerkungen:
kostenfrei
RVK-Notation:
Schlagworte: