FM 2014 : Formal Methods

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