MILLER, L.A. - GROUNDWATER, E.H. - MIRSKY, S.M. Guidelines for the Verification and Validation of Expert System Software and Conventional Software : Survey and Assessment of Conventional Software Verification and Validation Methods. B.v. Washington : U.S. Nuclear Regulatory Commission, 1995. 99 s. NUREG/CR-6316. SAIC-95/1028.