Program verification as probabilistic inference (2007)

Cached

Download Links

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