Partially Introducing Formal Methods in Software Evolution: A Quality Metrics Driven Approach

会议类型: 国际会议

会议名称: 11th Joint International Computer Conference（第十一届联合国际计算机会议）

会议地点: 重庆

会议语种:英文

页码: 708-713

在线出版日期: 2005-11-10（万方平台首次上网日期，不代表论文的发表时间）