Contains the keyword smart contracts

Hajdu Á, Jovanović D, Ciocarlie G. Formal Specification and Verification of Solidity Contracts with Events (short paper). In: 2nd Workshop on Formal Methods for Blockchains.; 2020. Abstract
(Accepted for presentation; post-proceeding pending)
Syndicate content