Catching Bugs in the Web of Program Invariants (1996)

by Cormac Flanagan , Matthew Flatt , Shriram Krishnamurthi , Stephanie Weirich , Matthias Felleisen
Venue:In ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:69 - 23 self