ZHENG Xiao-Lin
Shanghai Key Laboratory of Trustworthy Computing(East China Normal University), Shanghai 200062, ChinaDENG Yu-Xin
Shanghai Key Laboratory of Trustworthy Computing(East China Normal University), Shanghai 200062, ChinaFU Chen
State Key Laboratory of Computer Science(Institute of Software, The Chinese Academy of Sciences), Beijing 100190, ChinaLEI Guo-Qing
Shanghai Key Laboratory of Trustworthy Computing(East China Normal University), Shanghai 200062, ChinaNational Natural Science Foundation of China (61672229, 61261130589); Natural Science Foundation of Shanghai, China (16ZR1409100)
郑晓琳,邓玉欣,付辰,雷国庆.互模拟准局部验证算法的扩展与实现.软件学报,2018,29(6):1517-1526
Copy