Cita APA (7a ed.)

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.

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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