DMCA

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

by Patrick Cousot , Radhia Cousot
Citations:192 - 26 self