Cleanroom Approach to Space Software Reliability Battini, F. Abstract Publication: DASIA 98 - Data Systems in Aerospace Pub Date: July 1998 Bibcode: 1998ESASP.422....5B