TY - RPRT TI - Reliability techniques for computer executive programs PY - 1972 UR - https://ntrs.nasa.gov/citations/19720020546 ID - 19720020546 ER -