DMCA

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

by Patrick Cousot , Radhia Cousot
Citations:194 - 27 self