Skip to content

Algorithmic Program Diagnosis.

Ehud Y. Shapiro

VenueA*POPL
Year1982
ProceedingsPOPL

Browse the full POPL paper archive.