"Probabilistic accuracy bounds for perforated programs: a new foundation ..."

Martin C. Rinard (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics