骆健
作品数： 2被引量：4H指数：1
  • 所属机构:江西师范大学
  • 所在地区:江西省 南昌市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

薛锦云
作品数：136被引量：555H指数：13
供职机构：江西师范大学
研究主题：PAR方法 程序设计 形式化方法 循环不变式 PAR
石海鹤
作品数：34被引量：86H指数：6
供职机构：江西师范大学
研究主题：形式化方法 PAR PAR方法 形式化开发 循环不变式
作品列表