TY  - RPRT
TI  - Generalized Strong Preservation by Abstract Interpretation
AU  - Francesco Ranzato
AU  - Francesco Tapparo
PY  - 2006
UR  - https://arxiv.org/abs/cs/0401016
ID  - cs/0401016
ER  -