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

by D Déharbe, S Ranise
Venue:Proc. of the Int. Conf. on Software Engineering and Formal Methods (SEFM'03