Software Reliability and Security
Yashwant K. Malaiya · 2005
Software problems are the main causes of system failures today. There are many well-known cases of the tragic consequences of software failures. In critical systems, very high reliability is naturally expected.