N.: Program verification as probabilistic inference (0)

by S Gulwani, Jojic
Venue:In: POPL (2007