ZUO Zheng-Kang
School of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022, ChinaHUANG Zhi-Peng
School of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022, ChinaHUANG Qing
School of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022, ChinaSUN Huan
School of Digital Industry, Jiangxi Normal University, Shangrao 334006, ChinaZENG Zhi-Cheng
School of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022, ChinaHU Ying
School of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022, ChinaWANG Chang-Jing
School of Computer Information Engineering, Jiangxi Normal University, Nanchang 330022, ChinaTP311
左正康,黄志鹏,黄箐,孙欢,曾志城,胡颖,王昌晶. LLRB算法的函数式建模及其机械化验证.软件学报,2024,35(11):5016-5039
Copy