%0 Conference Paper %1 conf/popl/Shapiro82 %A Shapiro, Ehud Y. %B POPL %D 1982 %E DeMillo, Richard A. %I ACM Press %K dblp %P 299-308 %T Algorithmic Program Diagnosis. %U http://dblp.uni-trier.de/db/conf/popl/popl82.html#Shapiro82 %@ 0-89791-065-6

@inproceedings{conf/popl/Shapiro82, added-at = {2018-11-06T00:00:00.000+0100}, author = {Shapiro, Ehud Y.}, biburl = {https://www.bibsonomy.org/bibtex/2ec51a82fba059b025c4b40eaec7a9f89/dblp}, booktitle = {POPL}, cdrom = {POPL/00001556.PDF}, crossref = {conf/popl/82}, editor = {DeMillo, Richard A.}, ee = {https://doi.org/10.1145/582153.582185}, interhash = {53306e8805b820e0b612365dda152ae3}, intrahash = {ec51a82fba059b025c4b40eaec7a9f89}, isbn = {0-89791-065-6}, keywords = {dblp}, pages = {299-308}, publisher = {ACM Press}, timestamp = {2018-11-07T16:48:22.000+0100}, title = {Algorithmic Program Diagnosis.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl82.html#Shapiro82}, year = 1982 }