Affine relationships among variables of a program (1976)

by M Karr
Venue:Acta Informatica