15th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Multicore Programming

15-19 June 2015