N.: Program verification as probabilistic inference (0)

by S Gulwani, Jojic
Venue:In: ACM SIGPLAN Notices. Volume 42., ACM