Cite
APA Citation
Bernardo, M., & Johnsen, E. B. (Eds.) (2015). 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. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100072052955.0x000001