Citazione Stile APA (7a Edizione)

He, N., Zhao, Z., Guan, H., Wang, J., Peng, S., Li, D., . . . Guo, Y. (2024). SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries.

Citazione stile Chigago Style (17a edizione)

He, Ningyu, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, e Yao Guo. SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. 2024.

Citatione MLA (9a ed.)

He, Ningyu, et al. SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. 2024.