Chen, Z., Zhang, L., Zhang, Z., Zhang, J., Zhou, R., Shen, Y., . . . Yang, L. (2025). Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion.
Cita Chicago Style (17a ed.)Chen, Zehan, Long Zhang, Zhiwei Zhang, JingJing Zhang, Ruoyu Zhou, Yulong Shen, JianFeng Ma, y Lin Yang. Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion. 2025.
Cita MLA (9a ed.)Chen, Zehan, et al. Enhancing LLM-based Specification Generation via Program Slicing and Logical Deletion. 2025.
Precaución: Estas citas no son 100% exactas.