Page 120 - 《软件学报》2021年第7期
P. 120
2038 Journal of Software 软件学报 Vol.32, No.7, July 2021
[46] 王戟,詹乃军,冯新宇,刘志明.形式化方法概貌.软件学报,2019,30(1):33–61. http://www.jos.org.cn/1000-9825/5652.htm [doi:
10.13328/j.cnki.jos.005652]
石剑君(1991－),女,博士,CCF 学生会员, 石峰(1961－),男,博士,教授,博士生导师,
主要研究领域为计算机体系结构,程序分 主要研究领域为计算机体系结构.
析与优化.
计卫星(1980－),男,博士,副教授,主要研
究领域为计算机体系结构,并行和高性能
计算,程序分析与优化.
