Fingerprint
Dive into the research topics of 'Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolid
Keerthi Nelaturu, Anastasia Mavridou, Emmanouela Stachtiari, Andreas Veneris, Aron Laszka
Research output: Contribution to journal › Article › peer-review
3
Scopus
citations