TY  - RPRT
TI  - Transforming Probabilistic Programs for Model Checking
AU  - Ryan Bernstein
AU  - Matthijs Vákár
AU  - Jeannette Wing
PY  - 2020
DO  - 10.1145/3412815.3416896
UR  - https://arxiv.org/abs/2008.09680
ID  - 2008.09680
ER  -