Title: 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
Subjects: System design, Engineering, mathematical models, Computer-aided engineering, Information resources management