Formal Specification and Verif. of Solidity Contracts with Events, Hajdu, Jovanović and Ciocarlie
Channel: FMBC 2020
Date: 2020-07-19

Formal Specification and Verification of Solidity Contracts with Events, Ákos Hajdu, Dejan Jovanović and Gabriela Ciocarlie