Skip to content

An abstract Monte-Carlo method for the analysis of probabilistic programs.

David Monniaux

VenueA*POPL
Year2001
ProceedingsPOPL

Browse the full POPL paper archive.