Abstract interpretation frameworks. (1992)

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