TY  - BOOK
AU  - Shapiro,Ehud Y.
TI  - Algorithmic program debugging
T2  - ACM distinguished dissertations
SN  - 0262192187
PY  - 1983///
CY  - Cambridge
PB  - [S.n.]
KW  - PRUEBA Y DEPURACIÓN DE SOFTWARE
KW  - PROLOG
N1  - Tesis, Yale University, 1982
ER  -