BibTeX record conf/compsac/FangZZ17

• > Home > conf/compsac/FangZZ17

@inproceedings{DBLP:conf/compsac/FangZZ17,
  author       = {Zhenpeng Fang and
                  Xibin Zhao and
                  Min Zhou},
  editor       = {Sorel Reisman and
                  Sheikh Iqbal Ahamed and
                  Claudio Demartini and
                  Thomas M. Conte and
                  Ling Liu and
                  William R. Claycomb and
                  Motonori Nakamura and
                  Edmundo Tovar and
                  Stelvio Cimato and
                  Chung{-}Horng Lung and
                  Hiroki Takakura and
                  Ji{-}Jiang Yang and
                  Toyokazu Akiyama and
                  Zhiyong Zhang and
                  Md. Kamrul Hasan},
  title        = {Infer Precise Program Invariant Using Abstract Interpretation with
                  Recurrence Solving},
  booktitle    = {41st {IEEE} Annual Computer Software and Applications Conference,
                  {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
  pages        = {196--201},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/COMPSAC.2017.149},
  doi          = {10.1109/COMPSAC.2017.149},
  timestamp    = {Mon, 25 Nov 2024 07:52:55 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/FangZZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}