Software and systems safety
by M. Broy, Christian Leuxner, C. A. R. Hoare
Computer securityCongressesVerificationSoftware engineeringComputer softwareComputer software, verification
Writing a summary for young readers…
For young readers
Book data: Open Library