Abstract Interpretation Frameworks

Patrick Cousot, Radhia Cousot. Abstract Interpretation Frameworks. Journal of Logic and Computation, 2(4):511-547, 1992.

Authors

Patrick Cousot

This author has not been identified. Look up 'Patrick Cousot' in Google

Radhia Cousot

This author has not been identified. Look up 'Radhia Cousot' in Google