Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.

Fangfang Yuan, Stephen Wright, Kerstin Eder, David May

Browse the full ICFEM paper archive.