A trustworthy monadic formalization of the ARMv7 instruction set architecture (2010)

by A Fox, M Myreen
Venue:In Int. Conf. on Interactive Theorem Proving