Software Verification and Validation, Artech Computer Science Library