TU Darmstadt / ULB / TUbiblio

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Bubel, Richard ; Hähnle, Reiner ; Weiß, Benjamin
de Boer, Frank S. ; Bonsangue, Marcello M. ; Madelaine, Eric (eds.) :

Abstract Interpretation of Symbolic Execution with Explicit State Updates.
[Online-Edition: https://doi.org/10.1007/978-3-642-04167-9_13]
In: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. In: Lecture Notes in Computer Science , 5751 . Springer
[ Konferenzveröffentlichung] , (2008)

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

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen