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