A verifying core for a cryptographic language compiler (2006)

by Lee Pike
Venue:In Manolios, P., Wilding, M., eds.: 6th ACL2 Workshop. (2006
Citations:15 - 4 self