潘志中
中国科学技术大学
2
H指数
2
G指数
7
被引次数
813
下载次数
领域：计算机软件及计算机应用;计算机硬件技术;高等教育;
基金： 国家自然科学基金;
发文量： 近五年发文量趋势图 >>
关注领域
虚拟机
软件系统
安全性分析
本地代码
指令集体系结构
教学内容
程序验证
知识主体
WEBASSEMBLY
形式语义
软件可靠性
安全性
程序分析
形式化验证
编译
代码
软件工程专业
漏洞检测
程序语言
课程设置
研究成果
总发文量：3 总下载量：813
加载更多
已经全部加载完毕
暂无数据
