Finding invariant assertions for proving programs (1975)

by M Caplain
Venue:In Proceedings of the international conference on Reliable software