Books by author

Committee on Certifiably Dependable Software Systems