BibTeX record conf/icse/TikhomirovVITMA18

download as .bib file

@inproceedings{DBLP:conf/icse/TikhomirovVITMA18,
  author       = {Sergei Tikhomirov and
                  Ekaterina Voskresenskaya and
                  Ivan Ivanitskiy and
                  Ramil Takhaviev and
                  Evgeny Marchenko and
                  Yaroslav Alexandrov},
  editor       = {Roberto Tonelli and
                  Giuseppe Destefanis and
                  Steve Counsell and
                  Michele Marchesi},
  title        = {SmartCheck: Static Analysis of Ethereum Smart Contracts},
  booktitle    = {1st {IEEE/ACM} International Workshop on Emerging Trends in Software
                  Engineering for Blockchain, WETSEB@ICSE 2018, Gothenburg, Sweden,
                  May 27 - June 3, 2018},
  pages        = {9--16},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3194113.3194115},
  doi          = {10.1145/3194113.3194115},
  timestamp    = {Wed, 01 Jun 2022 14:15:16 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/TikhomirovVITMA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.