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.
Precaución: Estas citas no son 100% exactas.