@inproceedings{HMM12c,
title = {Succinct Representations for Abstract Interpretation },
author = {Henry, Julien and Monniaux, David and Moy, Matthieu},
year = {2012},
booktitle = {Static analysis (SAS)},
note = {To appear},
team = {SYNC,PACSS},
}