BibTeX record conf/issta/AlbertCGRR19

• > Home > conf/issta/AlbertCGRR19

@inproceedings{DBLP:conf/issta/AlbertCGRR19,
  author       = {Elvira Albert and
                  Jes{\'{u}}s Correas and
                  Pablo Gordillo and
                  Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
                  Albert Rubio},
  editor       = {Dongmei Zhang and
                  Anders M{\o}ller},
  title        = {{SAFEVM:} a safety verifier for Ethereum smart contracts},
  booktitle    = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
                  Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
                  15-19, 2019},
  pages        = {386--389},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293882.3338999},
  doi          = {10.1145/3293882.3338999},
  timestamp    = {Thu, 23 Jun 2022 07:46:09 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/AlbertCGRR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}