Search alternatives:
"prover" » "proven", "proved", "proves"
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...”