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