APA (7th ed.) Citation

SpringerLink (Online service), Bernardo, M., & Johnsen, E. B. (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. Springer International Publishing : Imprint: Springer.

Chicago Style (17th ed.) Citation

SpringerLink (Online service), Marco Bernardo, and Einar Broch Johnsen. 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 International Publishing : Imprint: Springer, 2015.

MLA (8th ed.) Citation

SpringerLink (Online service), et al. 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. Springer International Publishing : Imprint: Springer, 2015.