Verifying Probabilistic Correctness in Isabelle with pGCL David Cock NICTA Sydney, Australia∗ School of Computer Science and Engineering - Cock - Document - PDFSEARCH.IO

First Page	Meta Content
	Verifying Probabilistic Correctness in Isabelle with pGCL David Cock NICTA Sydney, Australia∗ School of Computer Science and Engineering Add to Reading List Document Date: 2014-11-20 18:53:57 Open Document File Size: 302,07 KB Share Result on Facebook

Verifying Probabilistic Correctness in Isabelle with pGCL David Cock NICTA Sydney, Australia∗ School of Computer Science and EngineeringAdd to Reading List