
Formal Methods for Model-Driven Engineering
Details
- OL Work ID
- OL19850831W
Subjects
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