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

相关作者

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