Proof-directed debugging and repair (2006)

by L A Dennis, R Monroy, P Nogueira
Venue:In Symposium on Trends in Functional Programming