Program Correctness: Can One Test for It?,” IBM T.J. Watson Research Center (1988)

by M Blum, P Raghavan
Venue:Exact and Approximate Membership Testers” 10th ACM Symposium on Theory of Computing