Proving Acceptability Properties of Relaxed Nondeterministic Approximate Programs
ACM SIGPLAN Notices - United States
doi 10.1145/2345156.2254086
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 6, 2012
Authors
Publisher
Association for Computing Machinery (ACM)