| author | = | "Dalla Preda, Mila and Madou, Matias and De Bosschere, Koen and Giacobazzi, Roberto", |
| title | = | "Opaque Predicates Detection by Abstract Interpretation", |
| booktitle | = | "Proceedings of the 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI06)", |
| pages | = | "35-50", |
| year | = | "2006", |
| publisher | = | "ENTCS", |
| address | = | "Vienna, Austria", |