Software Safety and Rocket Science

Gerard J. Holzmann. Software Safety and Rocket Science. ERCIM News, 2008(75), 2008. [doi]

Abstract

Abstract is missing.