Committee on Certifiably Dependable Software Systems

• Software for Dependable Systems
• Summary of a Workshop on Software Certification and Dependability