GOU, Naixiang, ZHAO, Xiangfu, WANG, Shiji, ZHANG, Hanfeng und YANG, Jiahui, 2025. Flaw Check: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution. Security & Privacy. 1 März 2025. Vol. 8, no. 2, p. 1-18. DOI 10.1002/spy2.477.
Elsevier - Harvard (with titles)Gou, N., Zhao, X., Wang, S., Zhang, H., Yang, J., 2025. Flaw Check: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution. Security & Privacy 8, 1-18. https://doi.org/10.1002/spy2.477
American Psychological Association 7th editionGou, N., Zhao, X., Wang, S., Zhang, H., & Yang, J. (2025). Flaw Check: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution. Security & Privacy, 8(2), 1-18. https://doi.org/10.1002/spy2.477
Springer - Basic (author-date)Gou N, Zhao X, Wang S, Zhang H, Yang J (2025) Flaw Check: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.. Security & Privacy 8:1-18. https://doi.org/10.1002/spy2.477
Juristische Zitierweise (Stüber) (Deutsch)Gou, Naixiang/ Zhao, Xiangfu/ Wang, Shiji/ Zhang, Hanfeng/ Yang, Jiahui, Flaw Check: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution., Security & Privacy 2025, 1-18.