@inproceedings{LiuTyszberowiczEA2016,
  author       = {Tianhai Liu and Shmuel Tyszberowicz and Mihai Herda and
                  Bernhard Beckert and Daniel Grahl and Mana Taghdiri},
  title        = {Computing Specification-Sensitive Abstractions for Program
                  Verification},
  booktitle    = {Second International Symposium on Dependable
                  Software Engineering: Theories, Tools, and Applications
                  (SETTA 2016)},
  editor       = {Martin Fr{\"{a}}nzle and Deepak Kapur and Naijun Zhan},
  publisher    = {Springer},
  series       = {LNCS},
  volume       = {9984},
  url          = {https://dx.doi.org/10.1007/978-3-319-47677-3_7},
  doi          = {10.1007/978-3-319-47677-3_7},
  pages        = {101--117},
  year         = {2016},
  month        = oct
}