Abstract Interpretation of Symbolic Execution with Explicit State Updates
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-642-04167-9 KITopen-ID: 1000028138 |
| Erschienen in | Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Ed.: F. S. de Boer |
| Verlag | Springer-Verlag |
| Seiten | 247-277 |
| Serie | Lecture Notes in Computer Science ; 5751 |