On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants

C. V. Ramamoorthy, Farokh B. Bastani, John M. Favaro, Yu-King R. Mok, C. W. Nam, Keiichi Suzuki. On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants. In ICSE. pages 231-240, 1979.

Abstract

Abstract is missing.