Ngā tūemi rite: Summary of a workshop on software certification and dependability /

Kaupapa: Computer software

Kaituhi: National Research Council (U.S.). Committee on Certifiably Dependable Software Systems