FM 2012: Formal Methods
No description available.
Mathematical Logic and Formal LanguagesInformation SystemsSoftware engineeringLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceManagement of Computing and Information SystemsFormal methods (Computer science)Congresses