TY - BOOK ED - International Atomic Energy Agency. TI - Verification and validation of software related to nuclear power pla nt instrumentation and control SN - 920100799X SN - 0074-191 PY - 1999/// CY - Vienna : PB - International Atomic Energy Agency, KW - Computer software KW - Verification KW - Nuclear power plants KW - Instruments N1 - Includes bibliographical references ER -