Knowledge-Based Program Analysis (1990)

by M Harandi, J Ning
Venue:IEEE Software