TY  - RPRT
TI  - Some Issues on Incremental Abstraction-Carrying Code
AU  - Elvira Albert
AU  - Puri Arenas
AU  - German Puebla
PY  - 2007
UR  - https://arxiv.org/abs/cs/0701111
ID  - cs/0701111
ER  -