Marco Bernardo

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Notes in Computer Science Book 9104)