Abstract interpretation frameworks (1992)

by P Cousot, R Cousot
Venue:Journal of Logic and Computation