ISO-690 (author-date, English)

KEZADRI HAMIAZ, Mounira und DRISS, Maha, 2025. Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges. Computers (2073-431 X). 1 Juni 2025. Vol. 14, no. 6, p. 226-274. DOI 10.3390/computers14060226.

Elsevier - Harvard (with titles)

Kezadri Hamiaz, M., Driss, M., 2025. Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges. Computers (2073-431 X) 14, 226-274. https://doi.org/10.3390/computers14060226

American Psychological Association 7th edition

Kezadri Hamiaz, M., & Driss, M. (2025). Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges. Computers (2073-431 X), 14(6), 226-274. https://doi.org/10.3390/computers14060226

Springer - Basic (author-date)

Kezadri Hamiaz M, Driss M (2025) Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges.. Computers (2073-431 X) 14:226-274. https://doi.org/10.3390/computers14060226

Juristische Zitierweise (Stüber) (Deutsch)

Kezadri Hamiaz, Mounira/ Driss, Maha, Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges., Computers (2073-431 X) 2025, 226-274.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.