TY  - RPRT
TI  - Probabilistic Program Abstractions
AU  - Steven Holtzen
AU  - Todd Millstein
AU  - Guy Van den Broeck
PY  - 2017
UR  - https://arxiv.org/abs/1705.09970
ID  - 1705.09970
ER  -