"Theoretical Aspects of Compositional Symbolic Execution."

Dries Vanoverberghe, Frank Piessens (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics