Knowledge-based program analysis (1990)

by M Harandi, J Ning
Venue:Softw. IEEE