BibTeX record conf/sigsoft/0001ZSDR18

download as .bib file

@inproceedings{DBLP:conf/sigsoft/0001ZSDR18,
  author       = {Daejun Park and
                  Yi Zhang and
                  Manasvi Saxena and
                  Philip Daian and
                  Grigore Rosu},
  editor       = {Gary T. Leavens and
                  Alessandro Garcia and
                  Corina S. Pasareanu},
  title        = {A formal verification tool for Ethereum {VM} bytecode},
  booktitle    = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
                  2018},
  pages        = {912--915},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236024.3264591},
  doi          = {10.1145/3236024.3264591},
  timestamp    = {Sun, 02 Oct 2022 16:15:22 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/0001ZSDR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics