-
石海鹤
-
-
- 所属机构:江西师范大学
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 薛锦云
- 作品数：139被引量：566H指数：13
- 供职机构：江西师范大学
- 研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
- 石海鹏
- 作品数：7被引量：18H指数：4
- 供职机构：江西师范大学软件学院
- 研究主题：形式化开发 PAR方法 循环不变式 非递归算法 非递归
- 李涛
- 作品数：18被引量：8H指数：2
- 供职机构：江西师范大学
- 研究主题：时间知觉 及物性 《人树》 空间叙事 二维数组
- 石海鹏
- 作品数：9被引量：9H指数：1
- 供职机构：江西师范大学
- 研究主题：蛋白质功能 残基 标签分类 公共数据库 基因信息
- 王昌晶
- 作品数：56被引量：73H指数：6
- 供职机构：江西师范大学
- 研究主题：形式化推导 循环不变式 泛型 PAR平台 APLA
