Computing Specification-Sensitive Abstractions for Program Verification

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl und Mana Taghdiri
In:Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016)
Verleger:Springer
Reihe:LNCS
Band:9984
Jahr:2016
Seiten:101-117
DOI:10.1007/978-3-319-47677-3_7

BibTeX

@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}
}