Abstract interpretation (1996)

by P Cousot
Venue:ACM Comp. Surv