@inproceedings{P106.105,
author={Dalla Preda, Mila and Madou, Matias and De Bosschere, Koen and Giacobazzi, Roberto},
title={Opaque Predicates Detection by Abstract Interpretation},
booktitle={Algebraic Methodology and Software Technology, 11th International Conference (AMAST06)},
year={2006},
month={7},
volume={4019},
pages={81-95},
editor={Johnson, M. and Vene, V. },
publisher={Springer-Verlag},
series={Lecture Notes in Computer Science},
address={Kuressaare, Estonia},
}