Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures - Bernardo, Marco; Johnsen, Einar Broch (Springer International Publishing : Imprint: Springer, 2015)