"Verified Abstract Interpretation Techniques for Disassembling Low-level ..."

Sandrine Blazy, Vincent Laporte, David Pichardie (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics