BibTeX record conf/icbc/AlmakhourSSM20

• > Home > conf/icbc/AlmakhourSSM20

@inproceedings{DBLP:conf/icbc/AlmakhourSSM20,
  author       = {Mouhamad Almakhour and
                  Layth Sliman and
                  Abed Ellatif Samhat and
                  Abdelhamid Mellouk},
  editor       = {Zhixiong Chen and
                  Laizhong Cui and
                  Balaji Palanisamy and
                  Liang{-}Jie Zhang},
  title        = {On the Verification of Smart Contracts: {A} Systematic Review},
  booktitle    = {Blockchain - {ICBC} 2020 - Third International Conference, Held as
                  Part of the Services Conference Federation, {SCF} 2020, Honolulu,
                  HI, USA, September 18-20, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12404},
  pages        = {94--107},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-59638-5\_7},
  doi          = {10.1007/978-3-030-59638-5\_7},
  timestamp    = {Tue, 21 Mar 2023 21:03:19 +0100},
  biburl       = {https://dblp.org/rec/conf/icbc/AlmakhourSSM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}