Machine Instruction Syntax and Semantics in Higher Order Logic.

Neophytos G. Michael, Andrew W. Appel

Browse the full CADE paper archive.