Formal Specification and Verification of ARM6 (2003)

by Anthony Fox
Venue:TPHOLs 2003, volume 2758 of LNCS