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

@inproceedings{Ramamoorthy-al:ICSE79,
  author    = {C. V. Ramamoorthy and
               Farokh B. Bastani and
               John M. Favaro and
               Yu{-}King R. Mok and
               C. W. Nam and
               Keiichi Suzuki},
  title     = {On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants},
  booktitle = {ICSE},
  pages     = {231--240},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}