Quasi-metric Spaces as Domains for Abstract Interpretation.

Federico Crazzolara Quasi-metric Spaces as Domains for Abstract Interpretation. 45-56 1997 conf/agp/1997 APPIA-GULP-PRODE db/conf/agp/agp1997.html#Crazzolara97