Title: Integrated Formal Methods
Subjects: System design, Computer science, Software engineering, Logic design, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages