Heuristics for program synthesis using loop invariants (1978)

by Joe W Duran
Venue:In ACM ’78: Proceedings of the 1978 annual conference