Finding Invariant Assertations for Proving Programs (1975)

by M Caplain
Venue:International Conference on Reliable Software