\bibitem{CousotCousot-CSL-LICS14}
P.~Cousot and R.~Cousot.
\newblock Abstract interpretation: Past, Present, and Future.
\newblock Joint Meeting of the Twenty-Third EACSL Annual Conference on
           Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE 
           Symposium on Logic In Computer Science (LICS), 10 p.
           Dale Miller and Laura Kovacs (Eds).
           July 14--18, 2014, Vienna, Austria.

@inproceedings{CousotCousot-CSL-LICS14,
  author    = {Patrick Cousot and
               Radhia Cousot},
  title     = {Abstract interpretation: Past, Present, and Future},
  booktitle = {Joint Meeting of the Twenty-Third EACSL Annual Conference on
               Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE 
               Symposium on Logic In Computer Science (LICS)},
  editor    = {Dale Miller and
               Laura Kovacs},
  year      = {2014},
  pages     = {10},
  publisher = {ACM},
  year      = {2014},
}
}