A HOL specification of the ARM instruction set architecture (2001)

by Anthony C. J. Fox , Anthony Fox
Citations:9 - 0 self