形式化PAR方法及其算法程序规约精化机理

• 作者: 苏昭
• 来源期刊: 江西科技学院学报
• 学科: 工学
• 关键词: 形式化PAR方法 规约精化 算法程序
• 年，卷（期）: 2014,（3）
• 页码范围: 53-57
• 页数: 5页
• 分类号: TP312
• 语种: 中文

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏昭	江西科技学院信息工程学院	6	5	2.0	2.0