2006): A Robust Machine Code Proof Framework for Highly Secure Applications (0)

by David S Hardin, Eric W Smith, William D Young
Venue:In: Proceeding of the 2006 International Workshop on ACL2, ACM