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

Marco Bernardo , Vittorio Cortellessa , Alfonso Pierantonio