Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid.
Keerthi NelaturuAnastasia MavridouEmmanouela StachtiariAndreas G. VenerisAron LaszkaPublished in: IEEE Trans. Dependable Secur. Comput. (2023)