Software reliability Research
暂无分享，去创建一个
[1] James C. King,et al. Proving Programs to be Correct , 1971, IEEE Transactions on Computers.
[2] J. V. Schnurbusch. Verification of the Apollo real-time mission program. , 1969 .
[3] Milton V. Ratynski. The air force computer program acquisition concept , 1967, AFIPS '67 (Spring).