| author | = | "Dalla Preda, Mila and Madou, Matias and De Bosschere, Koen and Giacobazzi, Roberto", |
| title | = | "Opaque Predicates Detection by Abstract Interpretation", |
| journal | = | "Algebraic Methodology and Software Technology", |
| year | = | "2006", |
| pages | = | "81-95", |
| publisher | = | "Springer-Verlag", |
| journal | = | "Lecture Notes in Computer Science", |
| editor | = | "Johnson, M. and Vene, V.", |
| volume | = | "LNCS 4019", |