BibTeX record conf/oopsla/StefanescuPYLR16

download as .bib file

@inproceedings{DBLP:conf/oopsla/StefanescuPYLR16,
  author    = {Andrei Stefanescu and
               Daejun Park and
               Shijiao Yuwen and
               Yilong Li and
               Grigore Rosu},
  title     = {Semantics-based program verifiers for all languages},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  pages     = {74--91},
  year      = {2016},
  crossref  = {DBLP:conf/oopsla/2016},
  url       = {https://doi.org/10.1145/2983990.2984027},
  doi       = {10.1145/2983990.2984027},
  timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/StefanescuPYLR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2016,
  editor    = {Eelco Visser and
               Yannis Smaragdakis},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2983990},
  doi       = {10.1145/2983990},
  isbn      = {978-1-4503-4444-9},
  timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics