Alfonso Pierantonio

1 published title

Formal methods for model-driven engineering : 12th International School On Formal Methods For The Design Of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23 2012 :

(Contributor)

1 edition