BibTeX record conf/sosp/NelsonBGBTW19

download as .bib file

@inproceedings{DBLP:conf/sosp/NelsonBGBTW19,
  author       = {Luke Nelson and
                  James Bornholt and
                  Ronghui Gu and
                  Andrew Baumann and
                  Emina Torlak and
                  Xi Wang},
  editor       = {Tim Brecht and
                  Carey Williamson},
  title        = {Scaling symbolic evaluation for automated verification of systems
                  code with Serval},
  booktitle    = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
                  {SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
  pages        = {225--242},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3341301.3359641},
  doi          = {10.1145/3341301.3359641},
  timestamp    = {Tue, 06 Oct 2020 12:27:29 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/NelsonBGBTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}