Formal methods in programming and their applications

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)