Catching bugs in the web of program invariants (0)

by Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen
Venue:In Proceedings of the SIGPLAN '96 Conference on Programming Language Design and Implementation