TY  - RPRT
TI  - Making Abstract Domains Condensing
AU  - R. Giacobazzi
AU  - F. Ranzato
AU  - F. Scozzari
PY  - 2002
UR  - https://arxiv.org/abs/cs/0204016
ID  - cs/0204016
ER  -