@inproceedings{mine-VSTTE19,
  author={Journault, M{.} and Min{\'e}, A{.} and Monat, M{.} and Ouadjaout, A{.}},
  title={Combinations of reusable abstract domains for a multilingual static analyzer},
  booktitle={Proc{.}~of the 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE19)},
  year={2019},
  pages={1--17},
  month={Jul{.}},
  location={New York, USA},
  note={\url{http://www-apr.lip6.fr/~mine/publi/article-mine-al-vstte19.pdf}},
}