Proof-directed debugging and repair (2006)

by Louise A. Dennis , Raul Monroy , Pablo Nogueira
Venue:Seventh Symposium on Trends in Functional Programming
Citations:9 - 2 self