NSFC形式化方法领域基金项目申请资助情况分析
陈厅, 吴国政, 刘哲, 蒲戈光, 赵瑞珍, 刘克
Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China
CHEN Ting, WU Guozheng, LIU Zhe, PU Geguang, ZHAO Ruizhen, LIU Ke
前瞻科技
.
2023, (1): 132
-140
.
DOI: 10.3981/j.issn.2097-0781.2023.01.010
