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, }