Title: Formal methods in programming and their applications
Subjects: Formal methods (Computer science), Computer programming, Mathematical Logic and Formal Languages, Software engineering, Algebra, Symbolic and Algebraic Manipulation, Computer Science, Logic design, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Data processing, Programming Languages, Compilers, Interpreters, Artificial intelligence, System design