-

Publications of Roberto Giacobazzi

Conference publications

  1. Mila Dalla Preda, Matias Madou, Koen De Bosschere and Roberto Giacobazzi Opaque Predicates Detection by Abstract Interpretation Algebraic Methodology and Software Technology, 11th International Conference (AMAST06), Vol. 4019, pp. 81-95 (2006)
  2. Mila Dalla Preda, Matias Madou, Koen De Bosschere and Roberto Giacobazzi Opaque Predicates Detection by Abstract Interpretation Proceedings of the 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI06), pp. 35-50 (2006)