福州大学数学与计算机科学学院;
福建福州 350108;
福建省网络计算与智能信息处理重点实验室;
福建福州 350108;
北京大学信息科学技术学院软件研究所;
北京 100871;
高可信软件技术教育部重点实验室 北京大学;
北京 100871;
北京大学信息科学技术学院软件研究所;
北京 100871;
高可信软件技术教育部重点实验室 北京大学;
北京 100871;
福州大学数学与计算机科学学院;
福建福州 350108;
福建省网络计算与智能信息处理重点实验室;
福建福州 350108;
福州大学数学与计算机科学学院;
福建福州 350108;
福建省网络计算与智能信息处理重点实验室;
福建福州 350108;
福州大学数学与计算机科学学院;
福建福州 350108;
福建省网络计算与智能信息处理重点实验室;
福建福州 350108;