BibTeX record conf/kbse/LinSNLD15

• > Home > conf/kbse/LinSNLD15

@inproceedings{DBLP:conf/kbse/LinSNLD15,
  author       = {Shang{-}Wei Lin and
                  Jun Sun and
                  Truong Khanh Nguyen and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Myra B. Cohen and
                  Lars Grunske and
                  Michael Whalen},
  title        = {Interpolation Guided Compositional Verification {(T)}},
  booktitle    = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages        = {65--74},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASE.2015.33},
  doi          = {10.1109/ASE.2015.33},
  timestamp    = {Mon, 26 Jun 2023 20:39:47 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/LinSNLD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}