Title: Tests and Proofs
Subjects: Logic design, Computer science, Software engineering, Computer software, Congresses, Reliability, Testing, Quality control, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Techniques