Abstract interpretation frameworks (1992)

Cached

Download Links

by Patrick Cousot , Radhia Cousot
Venue:Journal of Logic and Computation
Citations:239 - 23 self