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
Science and Technology Foresight . 2023, (1): 132 -140 .  DOI: 10.3981/j.issn.2097-0781.2023.01.010