Xia, S., He, M., Shao, S., Yu, T., Zhang, Y., Yoshida, N., & Song, L. (2025). SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models.
Citazione stile Chigago Style (17a edizione)Xia, Shihao, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, e Linhai Song. SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models. 2025.
Citatione MLA (9a ed.)Xia, Shihao, et al. SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.