Fekih, R. B., Lahami, M., Bradai, S., & Jmaiel, M. Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. IEEE.
Chicago Style (17th ed.) CitationFekih, Rim Ben, Mariam Lahami, Salma Bradai, and Mohamed Jmaiel. Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. IEEE.
MLA (9th ed.) CitationFekih, Rim Ben, et al. Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review. IEEE.
Warning: These citations may not always be 100% accurate.