Title: Tests and proofs
First published: 2008
Subjects: Computer software, Congresses, Reliability, Testing, Quality control, Computer software, reliability, Computer software, quality control, Computer software, testing
LC classification: QA76.76.T48 T37 2008