Proving acceptability properties of relaxed nondeterministic approximate programs,” (2012)

by M Carbin, D Kim, S Misailovic, M C Rinard
Venue:in ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI),