Title: Quantitative measures for software independent verification and validation
Subjects: Program verification (Computers), Software engineering, Airborne/spaceborne computers, Reliability analysis, Applications programs (Computers), Software reliability