Sumit Gulwani, Nebojsa Jojic
Program verification as probabilistic inference
POPL, 2007.
@inproceedings{POPL-2007-GulwaniJ,
author = "Sumit Gulwani and Nebojsa Jojic",
booktitle = "{Proceedings of the 34th Symposium on Principles of Programming Languages}",
doi = "10.1145/1190216.1190258",
editor = "Martin Hofmann and Matthias Felleisen",
isbn = "1-59593-575-4",
pages = "277--289",
publisher = "{ACM}",
title = "{Program verification as probabilistic inference}",
year = 2007,
}