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

Marco Bernardo , Einar Broch Johnsen