Computing Specification-Sensitive Abstractions for Program Verification

@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)},
    year       = {2016},
    month      = {November},
    editor     = {Martin Fr{\"{a}}nzle and Deepak Kapur and Naijun Zhan},
    publisher  = {Springer},
    series     = {LNCS},
    volume     = {9984},
    doi        = {10.1007/978-3-319-47677-3_7},
    pages      = {101--117}
}