@inproceedings{Cousot-Dagsthul-14352-2014,
  author    = {Patrick Cousot},
  title     = {Abstract Interpretation: ``Scene-Setting Talk''},
  booktitle = {Patrick Cousot, Daniel Kroening, Carsten Sinz: 
               Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)},
  year      = {2014},
  crossref  = {DBLP:journals/dagstuhl-reports/CousotKS14,},
}

@proceedings{DBLP:journals/dagstuhl-reports/CousotKS14,
  author    = {Patrick Cousot and
               Daniel Kroening and
               Carsten Sinz},
  title     = {Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352)},
  journal   = {Dagstuhl Reports},
  volume    = {4},
  number    = {8},
  pages     = {107--125},
  year      = {2014},
  url       = {http://dx.doi.org/10.4230/DagRep.4.8.107},
  doi       = {10.4230/DagRep.4.8.107},
}