Dominique Gückel, Stefan Kowalewski. Automatic Derivation of Abstract Semantics From Instruction Set Descriptions. In Jörg Brauer, Marco Roveri, Hendrik Tews, editors, 6th International Workshop on Systems Software Verification, SSV 2011, August 26, 2011, Nijmegen, The Netherlands. Volume 24 of OASICS, pages 71-83, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
Abstract is missing.