TU Darmstadt / ULB / TUbiblio

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
Hrsg.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (2008)
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures.
doi: 10.1007/978-3-642-04167-9_13
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2008
Herausgeber: de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric
Autor(en): Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
Art des Eintrags: Bibliographie
Titel: Abstract Interpretation of Symbolic Execution with Explicit State Updates
Sprache: Deutsch
Publikationsjahr: 2008
Verlag: Springer
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 5751
Veranstaltungstitel: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
DOI: 10.1007/978-3-642-04167-9_13
URL / URN: https://doi.org/10.1007/978-3-642-04167-9_13
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik > Software Engineering
20 Fachbereich Informatik
Hinterlegungsdatum: 27 Apr 2018 11:02
Letzte Änderung: 27 Apr 2018 11:02
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen