Author

Books by National Research Council (U.S.). Committee on Certifiably Dependable Software Systems