刘华虓科研项目吉林省青年科研基金项目：程序安全性验证方法研究

+

基本信息

刘华虓Huaxiao Liu

(副教授)

学位：博士
性别：男
学历：博士研究生毕业
在职信息：在职
所在单位：计算机科学与技术学院、网络安全学院

科研项目

当前位置: 中文主页 >> 科学研究 >> 科研项目

吉林省青年科研基金项目：程序安全性验证方法研究

发布日期：2020-07-03 点击次数：

上一条：国家重点研发计划项目：智能编程方法

下一条：2018年吉林大学优秀青年教师重点培养计划