Citazione Stile APA (7a Edizione)

Zhang, L., Chen, T., Wu, X., Liu, Q., Zhai, X., Wang, X., & Cao, Q. (2026). Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications.

Citazione stile Chigago Style (17a edizione)

Zhang, Liao, Tong Chen, Xiwei Wu, Qi Liu, Xiyu Zhai, Xinqi Wang, e Qinxiang Cao. Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications. 2026.

Citatione MLA (9a ed.)

Zhang, Liao, et al. Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications. 2026.