Program verification as probabilistic inference (0)

by S Gulwani, N Jojic
Venue:SIGPLAN Not