Probabilistic Inference Using Program Analysis

Andrew D. Gordon, Aditya V. Nori, and Sriram K. Rajamani

Details

Publication typeInproceedings
Published inOff the Beaten Track (OBT '13)
> Publications > Probabilistic Inference Using Program Analysis