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.) (2008):
Abstract Interpretation of Symbolic Execution with Explicit State Updates.
Springer, 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, DOI: 10.1007/978-3-642-04167-9₁₃,
[Online-Edition: https://doi.org/10.1007/978-3-642-04167-9_13],
[Conference or Workshop Item]

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: 20 Department of Computer Science > Software Engineering
20 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:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item