Formal Methods for Model-Driven Engineering
No description available.
Mathematical Logic and Formal LanguagesSoftware Engineering/Programming and Operating SystemsInformation SystemsSoftware engineeringInformation Systems Applications (incl. Internet)Computer scienceManagement of Computing and Information SystemsProgramming Languages, Compilers, Interpreters