@misc{indiciaefae4f18a965c,
  title = {Pre-deployment Analysis of Smart Contracts -- A Survey},
  author = {Sundas Munir and Walid Taha},
  year = {2023},
  url = {https://arxiv.org/abs/2301.06079},
  note = {Source identifier: 2301.06079}
}