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}
}