GE Xu-Jun
Department of Computer Science and Technology, East China Normal University, Shanghai 200241, ChinaWANG Ling
Department of Computer Science and Technology, East China Normal University, Shanghai 200241, ChinaXU Li-Hua
Department of Computer Science and Technology, East China Normal University, Shanghai 200241, ChinaGUO Jian
Shanghai Key Laboratory of Trustworthy Computing(East China Normal University), Shanghai 200062, ChinaZHU Hui-Biao
Shanghai Key Laboratory of Trustworthy Computing(East China Normal University), Shanghai 200062, ChinaNatural Science Foundation of Shanghai (13ZR1413000); National Science and Technology Major Project (2014ZX01038-101-001); National Natural Science Foundation of China (61502170, 91118008); NSFC Projects of International Cooperation and Exchanges (61361136002); Science Fund for Creative Research Groups of the National Natural ScienceFoundation of China (61321064)
葛徐骏,王玲,徐立华,郭建,朱惠彪. ProMiner:系统性质驱动的双向一致性检验框架.软件学报,2016,27(7):1757-1771
Copy