%0 Conference Paper %1 conf/pldi/CarbinKMR12 %A Carbin, Michael %A Kim, Deokhwan %A Misailovic, Sasa %A Rinard, Martin C. %B PLDI %D 2012 %E Vitek, Jan %E Lin, Haibo %E Tip, Frank %I ACM %K dblp %P 169-180 %T Proving acceptability properties of relaxed nondeterministic approximate programs. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2012.html#CarbinKMR12 %@ 978-1-4503-1205-9

@inproceedings{conf/pldi/CarbinKMR12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Carbin, Michael and Kim, Deokhwan and Misailovic, Sasa and Rinard, Martin C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27e6cd925e0d949cfc1a871ff6d9c66bc/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2012}, editor = {Vitek, Jan and Lin, Haibo and Tip, Frank}, ee = {https://doi.org/10.1145/2254064.2254086}, interhash = {284616568168b6cfcbb863bb15c9ef40}, intrahash = {7e6cd925e0d949cfc1a871ff6d9c66bc}, isbn = {978-1-4503-1205-9}, keywords = {dblp}, pages = {169-180}, publisher = {ACM}, timestamp = {2019-09-27T20:08:36.000+0200}, title = {Proving acceptability properties of relaxed nondeterministic approximate programs.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2012.html#CarbinKMR12}, year = 2012 }