Knowledge-Based Program Anaylsis (1990)

by M Harandi, J Ning
Venue:IEEE Software