Title: Summary of a workshop on software certification and dependability
Subjects: Computer software, Computer science, Certification