Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review | IEEE Journals & Magazine | IEEE Xplore