Light-Weight Theorem Proving for Debugging and Verifying Units of Code (2003)

by D Déharbe, S Ranise
Venue:In Int. Conf. on Software Eng. and Formal Methods (SEFM03