1
基于秩函数合成的程序终止性验证综述
蔡裕星
陈长波
李轶
程序终止性
秩函数合成
形式化方法
doi: 10.19734/j.issn.1001-3695.2025.08.0277