TU Darmstadt / ULB / TUbiblio

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Bubel, Richard and Hähnle, Reiner and Weiß, Benjamin
de Boer, Frank S. and Bonsangue, Marcello M. and 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
[Conference or Workshop Item] , (2008)

Official URL: https://doi.org/10.1007/978-3-642-04167-9_13
Item Type: Conference or Workshop Item
Erschienen: 2008
Editors: de Boer, Frank S. and Bonsangue, Marcello M. and Madelaine, Eric
Creators: Bubel, Richard and Hähnle, Reiner and Weiß, Benjamin
Title: Abstract Interpretation of Symbolic Execution with Explicit State Updates
Language: German
Series Name: Lecture Notes in Computer Science
Volume: 5751
Publisher: Springer
Divisions: Department of Computer Science > Software Engineering
Department of Computer Science
Event Title: Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
Date Deposited: 27 Apr 2018 11:02
DOI: 10.1007/978-3-642-04167-9₁₃
Official URL: https://doi.org/10.1007/978-3-642-04167-9_13
Export:

Optionen (nur für Redakteure)

View Item View Item