Program verification as probabilistic inference (2007)

View PDF

Download Links

by Sumit Gulwani
Venue:In Proc. POPL
Citations:11 - 3 self