徐健
作品数: 2被引量:0H指数:0
  • 所属机构:解放军理工大学
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家高技术研究发展计划

相关作者

王朋
作品数:4被引量:2H指数:1
供职机构:解放军理工大学
研究主题:泛型编程 函数式程序设计 泛型 HASKELL语言 函数式语言
张兴元
作品数:22被引量:17H指数:3
供职机构:解放军理工大学
研究主题:形式化验证 形式化 定理证明 活动性 数字签名
于尚超
作品数:5被引量:2H指数:1
供职机构:解放军理工大学
研究主题:泛型编程 泛型 函数式程序设计 HASKELL语言 编程