BibTeX record journals/compsec/SinghPZCD20

download as .bib file

@article{DBLP:journals/compsec/SinghPZCD20,
  author       = {Amritraj Singh and
                  Reza M. Parizi and
                  Qi Zhang and
                  Kim{-}Kwang Raymond Choo and
                  Ali Dehghantanha},
  title        = {Blockchain smart contracts formalization: Approaches and challenges
                  to address vulnerabilities},
  journal      = {Comput. Secur.},
  volume       = {88},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.cose.2019.101654},
  doi          = {10.1016/J.COSE.2019.101654},
  timestamp    = {Mon, 28 Aug 2023 21:25:51 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/SinghPZCD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics