@misc{indiciae2ee8db118387,
  title = {The Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts},
  author = {Clara Schneidewind and Markus Scherer and Matteo Maffei},
  year = {2021},
  doi = {10.1007/978-3-030-61467-6\_14},
  url = {https://arxiv.org/abs/2101.05735},
  note = {Source identifier: 2101.05735}
}