A Knowledge Based Approach to Automatic Program Analysis, doctoral dissertation (1989)

by J Q Ning