Finding invariant assertions for proving programs (1976)

by M Caplain
Venue:Proc. Intl. Conf. on Reliable Software