Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014

Formal Methods for Executable Software Models: Advanced Lectures/14th International School on FM for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 2014Ed. by Bernardo M., Damiani F., Hahnle R., Johnsen E. B..-Berlin.: Springer, 2014.-Vol. 8483.-343 p.-(Lecture Notes in Computer Science).