-
徐健
-

-

- 所属机构:解放军理工大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:国家高技术研究发展计划
相关作者
- 王朋

- 作品数:4被引量:2H指数:1
- 供职机构:解放军理工大学
- 研究主题:泛型编程 函数式程序设计 泛型 HASKELL语言 函数式语言
- 张兴元

- 作品数:22被引量:17H指数:3
- 供职机构:解放军理工大学
- 研究主题:形式化验证 形式化 定理证明 活动性 数字签名
- 于尚超

- 作品数:5被引量:2H指数:1
- 供职机构:解放军理工大学
- 研究主题:泛型编程 泛型 函数式程序设计 HASKELL语言 编程