于斌
最后更新时间:..
点击次数:
立项时间:2022-07-01
计划完成时间:2024-06-30
结项日期:2024-06-30
开始日期:2022-07-01
上一条:面向智能合约逻辑缺陷的形式化验证方法研究(陕西省自然科学基础研究计划一般项目,2021JQ-208,5万,主持)
下一条:面向智能合约逻辑缺陷的形式化验证方法研究(中央高校基本科研业务费,3万,主持)