-
孙欢
-
-
- 所属机构:江西师范大学
- 所在地区:江西省 南昌市
- 研究方向:自动化与计算机技术
相关作者
- 王昌晶
- 作品数：48被引量：67H指数：6
- 供职机构：江西师范大学计算机信息工程学院
- 研究主题：形式化推导 泛型 PAR平台 APLA 循环不变式
- 游珍
- 作品数：16被引量：48H指数：5
- 供职机构：江西师范大学
- 研究主题：PAR方法 循环不变式 形式化验证 非递归算法 ISABELLE
- 程艳
- 作品数：64被引量：251H指数：8
- 供职机构：江西师范大学
- 研究主题：注意力 网络 语义信息 卷积神经网络 项目反应理论
- 左正康
- 作品数：38被引量：58H指数：5
- 供职机构：江西师范大学计算机信息工程学院
- 研究主题：APLA 循环不变式 形式化证明 泛型 泛型程序设计
