TY  - RPRT
TI  - Automatic Probabilistic Program Verification through Random Variable Abstraction
AU  - Damián Barsotti
AU  - Nicolás Wolovick
PY  - 2010
DO  - 10.4204/eptcs.28.3
UR  - https://arxiv.org/abs/1006.5096
ID  - 1006.5096
ER  -