-
李钦
-
![](/images/user-pic.gif)
-
![](/images/index-lm-pic2.jpg)
- 所属机构:华东师范大学
- 所在地区:上海市
- 研究方向:自动化与计算机技术
相关作者
- 史建琦
![](/images/user-pic.gif)
- 作品数:147被引量:4H指数:1
- 供职机构:华东师范大学
- 研究主题:形式化验证 目标代码 控制流图 反汇编 中间语言
- 黄滟鸿
![](/images/user-pic.gif)
- 作品数:129被引量:4H指数:1
- 供职机构:华东师范大学
- 研究主题:目标代码 形式化验证 反汇编 L模型 控制流图
- 杨洋
![](/images/user-pic.gif)
- 作品数:71被引量:35H指数:3
- 供职机构:华东师范大学
- 研究主题:下肢 分子动力学 12 机载软件 目标代码
- 郭欣
![](/images/user-pic.gif)
- 作品数:22被引量:2H指数:1
- 供职机构:华东师范大学
- 研究主题:形式化验证 机载软件 规约 形式化描述 数学
- 郭建
![](/images/user-pic.gif)
- 作品数:38被引量:21H指数:2
- 供职机构:华东师范大学
- 研究主题:形式化验证 形式化验证方法 源代码 微内核 时态逻辑