Cousot & Radhia Cousot. Abstract Interpretation Frameworks (1992)

by Patrick
Venue:J. Log. Comput