BibTeX record conf/icfem/ChangGX00Y19

download as .bib file

@inproceedings{DBLP:conf/icfem/ChangGX00Y19,
  author    = {Jialiang Chang and
               Bo Gao and
               Hao Xiao and
               Jun Sun and
               Yan Cai and
               Zijiang Yang},
  editor    = {Yamine A{\"{\i}}t Ameur and
               Shengchao Qin},
  title     = {sCompile: Critical Path Identification and Analysis for Smart Contracts},
  booktitle = {Formal Methods and Software Engineering - 21st International Conference
               on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
               5-9, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11852},
  pages     = {286--304},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-32409-4\_18},
  doi       = {10.1007/978-3-030-32409-4\_18},
  timestamp = {Mon, 28 Oct 2019 17:05:13 +0100},
  biburl    = {https://dblp.org/rec/conf/icfem/ChangGX00Y19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics