-
张玲波
-
-
- 所属机构:清华大学信息科学技术学院计算机科学与技术系
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 石刚
- 作品数：18被引量：57H指数：5
- 供职机构：新疆大学信息科学与工程学院
- 研究主题：形式化验证 编译器 COQ 翻译 定理证明
- 董渊
- 作品数：95被引量：289H指数：9
- 供职机构：清华大学
- 研究主题：字节码 软件工程 编译器 形式化验证 操作系统
- 王生原
- 作品数：73被引量：199H指数：7
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：编译器 形式化验证 字节码 PETRI网 COQ
- 张智慧
- 作品数：3被引量：5H指数：2
- 供职机构：北京广利核系统工程有限公司
- 研究主题：COQ 形式化验证 翻译 消去 排序
- 杨斐
- 作品数：3被引量：20H指数：2
- 供职机构：清华大学信息科学技术学院计算机科学与技术系
- 研究主题：形式化验证 定理证明 翻译 编译器 形式语义
