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
ICSE, 1979.
@inproceedings{ICSE-1979-RamamoorthyBFMNS,
acmid = "802943",
author = "C. V. Ramamoorthy and Farokh B. Bastani and John M. Favaro and Yu-King R. Mok and C. W. Nam and Keiichi Suzuki",
booktitle = "{Proceedings of the Fourth International Conference on Software Engineering}",
editor = "Friedrich L. Bauer and Leon G. Stucki and Meir M. Lehman",
pages = "231--240",
publisher = "{IEEE Computer Society}",
title = "{On A Systematic Approach to the Development and Validation of Critical Software for Nuclear Power Plants}",
year = 1979,
}