TY - RPRT TI - Development and validation of techniques for improving software dependability AU - Knight, John C. PY - 1992 UR - https://ntrs.nasa.gov/citations/19920016829 ID - 19920016829 ER -