Affine Relationships among Variables of a Program (1976)

by M Karr
Venue:Acta Informatica