Title: Software safety and security
Subjects: Computer software, Congresses, Verification, Computer security