TY - BOOK T1 - Validation, verification and testing of computer software A1 - Adrion, W. Richard A2 - Branstad, Martha A2 - Cherniavsky, John LA - English PP - Washington PB - U.S. Department of Commerce YR - 1981 UL - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/das.905 OP - 57 KW - Análisis Matemático ER -