曹震
作品数： 5被引量：0H指数：0
  • 所属机构:清华大学
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术

相关作者

董渊
作品数：95被引量：289H指数：9
供职机构：清华大学
研究主题：字节码 软件工程 编译器 形式化验证 操作系统
王生原
作品数：72被引量：198H指数：7
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
作品列表