Committee on Certifiably Dependable Software Systems Author

Committee on Certifiably Dependable Software Systems, National Research Council