Login / Signup

Verifying Probabilistic Correctness in Isabelle with pGCL

David Cock
Published in: SSV (2012)
Keyphrases