杨晨
作品数: 8被引量:9H指数:2
  • 所属机构:江西师范大学
  • 所在地区:江西省 南昌市
  • 研究方向:文化科学
  • 发文基金:国家自然科学基金

相关作者

苏昭
作品数:14被引量:14H指数:2
供职机构:江西科技学院
研究主题:PAR方法 形式化方法 鲁棒性 图像拼接算法 图像拼接
薛锦云
作品数:137被引量:557H指数:13
供职机构:江西师范大学
研究主题:PAR方法 程序设计 形式化方法 循环不变式 PAR