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

Cached

Download Links

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