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

Cached

Download Links

by David S. Hardin
Venue:In Proceedings of the 2006 ACL2 Workshop
Citations:13 - 1 self