前瞻科技 ›› 2023, Vol. 2 ›› Issue (1): 132-140.DOI: 10.3981/j.issn.2097-0781.2023.01.010
陈厅1,2(), 吴国政1,†(
), 刘哲3, 蒲戈光4, 赵瑞珍1, 刘克1
CHEN Ting1,2(), WU Guozheng1,†(
), LIU Zhe3, PU Geguang4, ZHAO Ruizhen1, LIU Ke1
摘要:
针对历年来国家自然科学基金委员会(NSFC)在形式化方法领域各类型基金申请和资助情况进行统计和分析,并对涉及的重大研究计划和重大项目予以重点阐述和分析,最后对NSFC“十四五”发展规划中涉及形式化方法的部分予以解读。