Relating Distances and Abstractions - An Abstract Interpretation Perspective.

Marco Campion, Isabella Mastroeni, Caterina Urban

Browse the full SAS paper archive.