%0 Conference Paper %1 conf/stoc/GoldwasserGHKR08 %A Goldwasser, Shafi %A Gutfreund, Dan %A Healy, Alexander %A Kaufman, Tali %A Rothblum, Guy N. %B STOC %D 2008 %E Dwork, Cynthia %I ACM %K dblp %P 143-152 %T A (de)constructive approach to program checking. %U http://dblp.uni-trier.de/db/conf/stoc/stoc2008.html#GoldwasserGHKR08 %@ 978-1-60558-047-0

@inproceedings{conf/stoc/GoldwasserGHKR08, added-at = {2018-11-06T00:00:00.000+0100}, author = {Goldwasser, Shafi and Gutfreund, Dan and Healy, Alexander and Kaufman, Tali and Rothblum, Guy N.}, biburl = {https://www.bibsonomy.org/bibtex/29922ab095a3025f9de6cfa8d381e10e5/dblp}, booktitle = {STOC}, crossref = {conf/stoc/2008}, editor = {Dwork, Cynthia}, ee = {https://doi.org/10.1145/1374376.1374399}, interhash = {4c8f87a8743a169951ed3b6a82b06bcf}, intrahash = {9922ab095a3025f9de6cfa8d381e10e5}, isbn = {978-1-60558-047-0}, keywords = {dblp}, pages = {143-152}, publisher = {ACM}, timestamp = {2018-11-07T16:08:48.000+0100}, title = {A (de)constructive approach to program checking.}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc2008.html#GoldwasserGHKR08}, year = 2008 }