Light-weight theorem proving for debugging and verifying units of code (2003)

by D Deharbe, S Ranise
Venue:In First International Conference on Software Engineering and Formal Methods, 2003