You are about to access our book library "Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... (Programming and Software Engineering) full version"
.