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