@inproceedings{Gordon_2014,
    doi = {10.1145/2593882.2593900},
    url = {https://doi.org/10.1145%2F2593882.2593900},
    year = {2014},
    month = {may},
    publisher = {{ACM}},
    author = {Andrew D. Gordon and Thomas A. Henzinger and Aditya V. Nori and Sriram K. Rajamani},
    title = {Probabilistic programming},
    booktitle = {Future of Software Engineering Proceedings}
}

@inproceedings{Gordon_2014, doi = {10.1145/2593882.2593900}, url = {https://doi.org/10.1145%2F2593882.2593900}, year = {2014}, month = {may}, publisher = {{ACM}}, author = {Andrew D. Gordon and Thomas A. Henzinger and Aditya V. Nori and Sriram K. Rajamani}, title = {Probabilistic programming}, booktitle = {Future of Software Engineering Proceedings} }