BibTeX record conf/fc/Hirai17

download as .bib file

@inproceedings{DBLP:conf/fc/Hirai17,
  author    = {Yoichi Hirai},
  title     = {Defining the Ethereum Virtual Machine for Interactive Theorem Provers},
  booktitle = {Financial Cryptography and Data Security - {FC} 2017 International
               Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
               7, 2017, Revised Selected Papers},
  pages     = {520--535},
  year      = {2017},
  crossref  = {DBLP:conf/fc/2017w},
  url       = {https://doi.org/10.1007/978-3-319-70278-0\_33},
  doi       = {10.1007/978-3-319-70278-0\_33},
  timestamp = {Mon, 08 Jul 2019 08:49:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fc/Hirai17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fc/2017w,
  editor    = {Michael Brenner and
               Kurt Rohloff and
               Joseph Bonneau and
               Andrew Miller and
               Peter Y. A. Ryan and
               Vanessa Teague and
               Andrea Bracciali and
               Massimiliano Sala and
               Federico Pintore and
               Markus Jakobsson},
  title     = {Financial Cryptography and Data Security - {FC} 2017 International
               Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April
               7, 2017, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {10323},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70278-0},
  doi       = {10.1007/978-3-319-70278-0},
  isbn      = {978-3-319-70277-3},
  timestamp = {Mon, 08 Jul 2019 08:49:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fc/2017w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics