Title: Tests and proofs
Subjects: Computer software, Congresses, Reliability, Testing, Quality control, Computer software, reliability, Computer software, quality control