-
骆欢
-
-
- 所属机构:清华大学
- 所在地区:北京市
- 研究方向:自动化与计算机技术
相关作者
- 董渊
- 作品数：95被引量：289H指数：9
- 供职机构：清华大学
- 研究主题：字节码 软件工程 编译器 形式化验证 操作系统
- 王生原
- 作品数：73被引量：199H指数：7
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：编译器 形式化验证 字节码 PETRI网 COQ
- 李叠
- 作品数：5被引量：1H指数：1
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：操作系统 移动终端软件 移动终端 系统代码 调用图
