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