Proving acceptability properties of relaxed nondeterministic approximate programs. (2012)

by Michael Carbin , Deokhwan Kim , Sasa Misailovic , Martin C Rinard
Venue:In PLDI,