An abstract Monte-Carlo method for the analysis of probabilistic programs (extended abstract (2001)

by David Monniaux
Venue:In Proceedings of the 28th Symposium on Principles of Programming Languages (POPL’01