位置：成果数据库 > 著作 > 著作详情页
An Improved Case-Based Approac
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：著作
  • 出版社：Springer-Verlag
  • 相关项目：软件形式化方法
作者： Fei Pu, Wenhui Zhang and Shaoc
同著作项目
软件形式化方法
期刊论文 36 会议论文 33 著作 2
同项目著作
Enhancing Simulation for Check