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},
  title     = {Verifying object construction},
  booktitle = {{ICSE}},
  pages     = {1447--1458},
  publisher = {{ACM}},
  year      = {2020}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics