%0 Conference Paper %1 conf/pldi/ZhangSN17 %A Zhang, Xin %A Si, Xujie %A Naik, Mayur %B MAPL@PLDI %D 2017 %E Shpeisman, Tatiana %E Gottschlich, Justin %I ACM %K dblp %P 27-34 %T Combining the logical and the probabilistic in program analysis. %U http://dblp.uni-trier.de/db/conf/pldi/mapl2017.html#ZhangSN17 %@ 978-1-4503-5071-6

@inproceedings{conf/pldi/ZhangSN17, added-at = {2020-05-28T00:00:00.000+0200}, author = {Zhang, Xin and Si, Xujie and Naik, Mayur}, biburl = {https://www.bibsonomy.org/bibtex/2c45ebb3a9747be26af853786528b4a4b/dblp}, booktitle = {MAPL@PLDI}, crossref = {conf/pldi/2017mapl}, editor = {Shpeisman, Tatiana and Gottschlich, Justin}, ee = {https://doi.org/10.1145/3088525.3088563}, interhash = {56eee2002e90471631fcd06386d87ec1}, intrahash = {c45ebb3a9747be26af853786528b4a4b}, isbn = {978-1-4503-5071-6}, keywords = {dblp}, pages = {27-34}, publisher = {ACM}, timestamp = {2020-05-29T11:42:47.000+0200}, title = {Combining the logical and the probabilistic in program analysis.}, url = {http://dblp.uni-trier.de/db/conf/pldi/mapl2017.html#ZhangSN17}, year = 2017 }