José Júlio Alferes
Professor of Computer Science
jja@fct.unl.pt
(email)
DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
Citation:
Damásio, {Carlos Augusto Isaac Piló Viegas}, and {José Júlio Alves} Alferes. "DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL." MIT Press. 1993. 316-330.
Export
Tagged
XML
BibTex
Google Scholar
Abstract:
n/a
Notes:
n/a
Bio
Publications
Classes