National Research Council, Division on Engineering and Physical Sciences, Computer Science and Telecommunications Board, Committee on Certifiably Dependable Software Systems, Lynette I. Millett, Martyn Thomas, Daniel Jackson
National Research Council, Division on Engineering and Physical Sciences, Computer Science and Telecommunications Board, Committee on Certifiably Dependable Software Systems, Lynette I. Millett, Martyn Thomas, Daniel Jackson