Software for dependable systems : sufficient evidence? [E-Book] / Daniel Jackson, Martyn Thomas, and Lynette I. Millett, eds. ; Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
Jackson, Daniel.
Millett, Lynette I. / Thomas, Martyn.
Washington, D.C. : National Academies Press, c2007
xv, 131 pages : illustrations
Full Text
Description not available.