位置：成果数据库 > 著作 > 著作详情页
Formal Analysis and Improvemen
  • 所属机构名称：中山大学
  • 页码：391-404
  • 成果类型：著作
  • 出版社：Springer
  • 相关项目：系统规范表示与验证的认识逻辑途径
作者： Kaile Su, Congxin Zhao,Guanfen
同著作项目
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
同项目著作
Primitive Recursive Real Numbe