软件验证：检查-测试-验证-替代方案

Software validation: Inspection-testing-verification-alternatives

European Journal of Operational Research · 1986