Sciweavers

FMCO
2008
Springer

Abstract Interpretation of Symbolic Execution with Explicit State Updates

14 years 10 months ago
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Richard Bubel, Reiner Hähnle, Benjamin Wei&sz
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FMCO
Authors Richard Bubel, Reiner Hähnle, Benjamin Weiß
Comments (0)