Title: Tests and Proofs
Subjects: Software engineering, Computer software, Computer science, Logic design, Computer simulation, Programming Techniques, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Simulation and Modeling