Sciweavers

POPL
2001
ACM

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

15 years 23 days ago
An abstract Monte-Carlo method for the analysis of probabilistic programs
David Monniaux
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2001
Where POPL
Authors David Monniaux
Comments (0)