Proof-Directed Debugging (2000)

by Robert Harper
Citations:23 - 1 self