TY - RPRT TI - A plan for validation and verification of Apollo flight computer software AU - Engel, J. S. AU - Heffron, W. G. PY - 1965 UR - https://ntrs.nasa.gov/citations/19790073656 ID - 19790073656 ER -