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

Wolfgang D. Ehrenberger, G. Rauch, K. Okroy

Browse the full ICSE paper archive.