Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) | IEEE Journals & Magazine | IEEE Xplore