Semantic foundations of program analysis: Theory and applications (1981)

by P Cousot
Venue:In