A methodology for producing reliable software systems

Carlos J. Lucena. A methodology for producing reliable software systems. In Irwin E. Perlin, Thomas J. McConnell Jr., editors, Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973. ACM, 1973. [doi]

Abstract

Abstract is missing.