The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts (bibtex)
by Clara Schneidewind, Markus Scherer, Matteo Maffei
Reference:
The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart ContractsClara Schneidewind, Markus Scherer, Matteo MaffeiLeveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III (Tiziana Margaria, Bernhard Steffen, eds.), volume 12478 of Lecture Notes in Computer Science, pages 212–231, 2020, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/isola/SchneidewindSM20,
  author    = {Clara Schneidewind and
               Markus Scherer and
               Matteo Maffei},
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated
               Sound Static Analysis of Ethereum Smart Contracts},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
               Applications - 9th International Symposium on Leveraging Applications
               of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
               Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12478},
  pages     = {212--231},
  publisher = {Springer},
  year      = {2020},
  url       = {https://arxiv.org/abs/2101.05735},
  doi       = {10.1007/978-3-030-61467-6\_14},
  timestamp = {Wed, 28 Oct 2020 12:00:09 +0100},
  biburl    = {https://dblp.org/rec/conf/isola/SchneidewindSM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser