TY - BOOK TI - Computer science and technology: validation verification and testing for the individual programmer T2 - NBS/SP - 500-56 U1 - 001.642 PY - 1980/// PB - NBS ER -