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

by Anthony Fox , Magnus O. Myreen
Venue:In Proc. 23rd Int. Conf˙on Interactive Theorem Proving (ITP’10), LNCS
Citations:20 - 3 self