Ehud Y. Shapiro. Algorithmic Program Diagnosis. In POPL. pages 299-308, 1982.
@inproceedings{Shapiro82,
title = {Algorithmic Program Diagnosis},
author = {Ehud Y. Shapiro},
year = {1982},
researchr = {https://researchr.org/publication/Shapiro82},
cites = {0},
citedby = {0},
pages = {299-308},
booktitle = {POPL},
}