蔡裕星, 陈长波, & 李轶. (2026). 基于秩函数合成的程序终止性验证综述. Application Research of Computers / Jisuanji Yingyong Yanjiu, 43(3), 641. https://doi.org/10.19734/j.issn.1001-3695.2025.08.0277
Chicago Style (17th ed.) Citation蔡裕星, 陈长波, and 李轶. "基于秩函数合成的程序终止性验证综述." Application Research of Computers / Jisuanji Yingyong Yanjiu 43, no. 3 (2026): 641. https://doi.org/10.19734/j.issn.1001-3695.2025.08.0277.
MLA (9th ed.) Citation蔡裕星, et al. "基于秩函数合成的程序终止性验证综述." Application Research of Computers / Jisuanji Yingyong Yanjiu, vol. 43, no. 3, 2026, p. 641, https://doi.org/10.19734/j.issn.1001-3695.2025.08.0277.
Warning: These citations may not always be 100% accurate.
