Publication:5472907

zbMath1096.68025MaRDI QIDQ5472907

Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones

Publication date: 19 June 2006

zbMATH Keywords

call redundancy

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)