Title: FM 2014 : Formal Methods
Subjects: Computer software, development, System design, Software engineering, Computer science, Logic design, Information Systems, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Management of Computing and Information Systems, Computation by Abstract Devices