Machine-code verification for multiple architectures: An application of decompilation into logic (2008)

Cached

Download Links

by Magnus O. Myreen , Michael J. C. Gordon , Konrad Slind
Venue:In Formal Methods in Computer Aided Design (FMCAD
Citations:16 - 9 self