石刚
作品数： 18被引量：54H指数：5
  • 所属机构:新疆大学信息科学与工程学院
  • 所在地区:新疆 乌鲁木齐市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

董渊
作品数：95被引量：289H指数：9
供职机构：清华大学
研究主题：字节码 软件工程 编译器 形式化验证 操作系统
王生原
作品数：72被引量：198H指数：7
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：编译器 形式化验证 字节码 PETRI网 COQ
杨斐
作品数：3被引量：20H指数：2
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 定理证明 翻译 编译器 形式语义
张玲波
作品数：3被引量：19H指数：3
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：形式化验证 COQ 编译器 形式语义 定理证明
崔青
作品数：16被引量：27H指数：3
供职机构：新疆大学信息科学与工程学院
研究主题：数据结构 时序图 用例图 蜂窝式 蜂窝
作品列表