Geahča maid: Summary of a workshop on software certification and dependability /

Fáddá: Computer software

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