Title: Formal Methods: Foundations and Applications
Subjects: Mathematical Logic and Formal Languages, Information Systems, Software engineering, Logic design, Computer Science, general, Logics and Meanings of Programs, Computer science, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters