Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015

Formal Methods for Multicore Programming: Advanced Lectures/15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 2015Ed. by Bernardo M., Johnsen E. B..-Berlin.: Springer, 2015.-Vol. 9104.-211 p.-(Lecture Notes in Computer Science).