TY - BOOK TI - Verification and validation of software related to nuclear power plant instrumantation and control T2 - Technical Reports Series ; SN - 920100799X PY - 1999/// CY - Vienna : PB - IAEA, KW - computer software-verification KW - nuclear power plant N1 - Bibliografija ER -