Software quality assurance procedures for NRC thermal hydraulic codes / - Odar, F. (U.S. Nuclear Regulatory Commission :, 2000)