@misc{indiciae07645d204663,
  title = {Formal Specification and Verification of Solidity Contracts with Events},
  author = {Ákos Hajdu and Dejan Jovanović and Gabriela Ciocarlie},
  year = {2020},
  url = {https://arxiv.org/abs/2005.10382},
  note = {Source identifier: 2005.10382}
}