TY  - RPRT
TI  - Formal Specification and Verification of Solidity Contracts with Events
AU  - Ákos Hajdu
AU  - Dejan Jovanović
AU  - Gabriela Ciocarlie
PY  - 2020
UR  - https://arxiv.org/abs/2005.10382
ID  - 2005.10382
ER  -