Title: Computer Safety, Reliability, and Security
Subjects: Systems and Data Security, Software engineering, Computer software, Computer networks, Computer science, Algorithm Analysis and Problem Complexity, Data protection, Computers and Society, Special Purpose and Application-Based Systems, Congresses, Reliability, Computers, Computer security, Formal methods (Computer science), Computer Communication Networks