BibTeX record conf/compsac/HeQZCL18

• > Home > conf/compsac/HeQZCL18

@inproceedings{DBLP:conf/compsac/HeQZCL18,
  author       = {Xiao He and
                  Bohan Qin and
                  Yan Zhu and
                  Xing Chen and
                  Yi Liu},
  editor       = {Sorel Reisman and
                  Sheikh Iqbal Ahamed and
                  Claudio Demartini and
                  Thomas M. Conte and
                  Ling Liu and
                  William R. Claycomb and
                  Motonori Nakamura and
                  Edmundo Tovar and
                  Stelvio Cimato and
                  Chung{-}Horng Lung and
                  Hiroki Takakura and
                  Ji{-}Jiang Yang and
                  Toyokazu Akiyama and
                  Zhiyong Zhang and
                  Kamrul Hasan},
  title        = {{SPESC:} {A} Specification Language for Smart Contracts},
  booktitle    = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
                  {COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
  pages        = {132--137},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/COMPSAC.2018.00025},
  doi          = {10.1109/COMPSAC.2018.00025},
  timestamp    = {Fri, 04 Aug 2023 23:41:06 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/HeQZCL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}