Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard. Proving acceptability properties of relaxed nondeterministic approximate programs. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 169-180, ACM, 2012. [doi]
Abstract is missing.