Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (1992)

Cached

Download Links

by Patrick Cousot , Radhia Cousot
Citations:162 - 24 self