BibTeX record conf/icse/KelloggRSSE20

download as .bib file

@inproceedings{DBLP:conf/icse/KelloggRSSE20,
  author    = {Martin Kellogg and
               Manli Ran and
               Manu Sridharan and
               Martin Sch{\"{a}}f and
               Michael D. Ernst},
  editor    = {Gregg Rothermel and
               Doo{-}Hwan Bae},
  title     = {Verifying object construction},
  booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
               Seoul, South Korea, 27 June - 19 July, 2020},
  pages     = {1447--1458},
  publisher = {{ACM}},
  year      = {2020},
  url       = {https://doi.org/10.1145/3377811.3380341},
  doi       = {10.1145/3377811.3380341},
  timestamp = {Fri, 09 Apr 2021 18:46:21 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/KelloggRSSE20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics