何锦龙博士后程序验证、分析与测试论文搜索论文发表载体全部APLAS CCF CCAV CCF A2 篇论文清除全部筛选未找到论文清除全部筛选2019Android Multitasking Mechanism: Formal Semantics and Static Analysis of AppsAPLAS 2019CCF C·Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan引用2018Android Stack MachineCAV 2018CCF A·Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan引用CCF 分类依据 第七版《中国计算机学会推荐国际学术会议和期刊目录》。
