Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programs --- Reliability --- -681.3*D24 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Reliability. --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 --- Computer programs - Reliability