Formal Methods for Model-Driven Engineeringde Marco BernardoMateriasMathematical 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
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
