Tests and Proofs
by Bertrand Meyer, Yuri Gurevich
Computer software, reliabilityComputer software, quality control
Writing a summary for young readers…
For young readers
Book data: Open Library
by Bertrand Meyer, Yuri Gurevich
Book data: Open Library