Abstract Interpretation Frameworks (1992)

by P Cousot, R Cousot
Venue:J. Logic and Computation