Title: Program Verification: Fundamental Issues in Computer Science, Author: Timothy T.R. Colburn
Title: Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification, Author: Robert Kurshan
Title: Software Failure Risk: Measurement and Management, Author: S. A. Sherer
Title: Software Reliability and Metrics, Author: N. Fenton
Title: Reliability and Robustness of Engineering Software II: Proceedings of the Second International Conference held in Milan, Italy, during 22-24 April 1991, Author: C.A. Brebbia
Title: Software Reliability Handbook, Author: Rook
Title: Measurement for Software Control and Assurance, Author: B.A. Kitchenham
Title: Achieving Safety and Reliability with Computer Systems, Author: B.K. Daniels

Pagination Links