@misc{indiciae56374647bc20,
  title = {Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification},
  author = {Petra Hozzová and Jaroslav Bendík and Alexander Nutz and Yoav Rodeh},
  year = {2024},
  doi = {10.29007/h4p7},
  url = {https://arxiv.org/abs/2402.10174},
  note = {Source identifier: 2402.10174}
}