Jackson, Daniel.

Software for dependable systems = sufficient evidence? / by: Jackson, Daniel. ; MyiLibrary.; Thomas, Martyn. ; Millett, Lynette I. ; National Research Council (U.S.)., Committee on Certifiably Dependable Software Systems. (書目-電子資源)