A verifying core for a cryptographic language compiler
Authors:

Lee Pike

Galois Connections, Beaverton, Oregon


Mark Shields

Galois Connections, Beaverton, Oregon


John Matthews

Galois Connections, Beaverton, Oregon

Published in: 
· Proceeding 
ACL2 '06 Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications

Pages 110
Seattle, Washington, USA — August 15  16, 2006
ACM New York, NY, USA ©2006
table of contents
ISBN:0978849302
doi>10.1145/1217975.1217977




2006 Article

Bibliometrics

· Citation Count: 9
· Downloads (cumulative): 190
· Downloads (12 Months): 3
· Downloads (6 Weeks): 1


powered by

