Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor

@inproceedings{Ehrenberger-al:ICSE76,
  author    = {Wolfgang D. Ehrenberger and
               G. Rauch and
               K. Okroy},
  title     = {Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor},
  booktitle = {ICSE},
  pages     = {611--616},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}