DMCA

Verifying Probabilistic Correctness in Isabelle with pGCL

by David Cock
Citations:3 - 2 self