VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania - Probabilistic logic - Document - PDFSEARCH.IO

First Page	Meta Content
	VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania Add to Reading List Document Date: 2015-04-10 14:47:36 Open Document File Size: 336,68 KB Share Result on Facebook

VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs (Expanded Version) Robert Rand Computer and Information Sciences University of Pennsylvania Add to Reading List