DMCA

Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2 (2012)

by David Lawrence Rager
Citations:2 - 1 self