APA (7th ed.) Citation

Gou, N., Zhao, X., Wang, S., Zhang, H., & Yang, J. (2025). FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution. Security & Privacy, 8(2), 1. https://doi.org/10.1002/spy2.477

Chicago Style (17th ed.) Citation

Gou, Naixiang, Xiangfu Zhao, Shiji Wang, Hanfeng Zhang, and Jiahui Yang. "FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution." Security & Privacy 8, no. 2 (2025): 1. https://doi.org/10.1002/spy2.477.

MLA (9th ed.) Citation

Gou, Naixiang, et al. "FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution." Security & Privacy, vol. 8, no. 2, 2025, p. 1, https://doi.org/10.1002/spy2.477.