@misc{indiciaef0992c75e3a7,
  title = {An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs},
  author = {David Monniaux},
  year = {2007},
  doi = {10.1145/360204.360211},
  url = {https://arxiv.org/abs/cs/0701195},
  note = {Source identifier: cs/0701195}
}