Advanced Lectures on Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen, (Eds)
June, 2015
Cite Project DOI

Abstract

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

Type
Book
Publication
LNCS 9104. © Springer 2015.
Einar Broch Johnsen
Einar Broch Johnsen
Professor