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 (17η εκδ.)Gou, Naixiang, Xiangfu Zhao, Shiji Wang, Hanfeng Zhang, και 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 εκδ.)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.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.