12th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Model-Driven Engineering

18-23 June 2012