TITLE : Software validation: A government-imposed challenge to the state-of-the-art in certification AUTHOR(S) : Bertolino A, Fusani M TYPE : Journal article YEAR : 1987 CODE : 419697 *** DO NOT EDIT THIS FILE ***