FM 2014 : Formal Methods
No description available.
Computer software, developmentSystem designSoftware engineeringComputer scienceLogic designInformation SystemsMathematical Logic and Formal LanguagesLogics and Meanings of ProgramsManagement of Computing and Information SystemsComputation by Abstract Devices