@misc{indiciae20057f012e4c,
  title = {Abstract interpretation of Michelson smart-contracts},
  author = {Guillaume Bau and Antoine Miné and Vincent Botbol and Mehdi Bouaziz},
  year = {2022},
  doi = {10.1145/3520313.3534660},
  url = {https://arxiv.org/abs/2210.05217},
  note = {Source identifier: 2210.05217}
}