F.: Making abstract domains condensing (0)

by R Giacobazzi, F Ranzato, Scozzari
Venue:Scozzari / Observational Completeness on Abstract Interpretation 25