Search alternatives:
"prover" » "proved", "proves", "grover"
Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Proofs of Privacy Using the HOL4 Theorem-Prover -- Breaking and Provably Fixing Minx -- Metrics...”