徐贵红
作品数： 2被引量：13H指数：1
  • 所属机构:中国科学院研究生院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

张健
作品数：27被引量：248H指数：8
供职机构：中国科学院软件研究所
研究主题：一阶逻辑 程序静态分析 软件测试 软件开发 并发程序
作品列表