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

Marco Bernardo, Einar Broch Johnsen, editors, 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. Volume 9104 of Lecture Notes in Computer Science, Springer, 2015. [doi]

Conference: sfm2015

Abstract

Abstract is missing.

Table of Contents