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 (1st ed. 2015.). Springer International Publishing : Imprint: Springer.
Style de citation Chicago (17e éd.)SpringerLink (Online service), Marco Bernardo, et 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. 1st ed. 2015. Cham: Springer International Publishing : Imprint: Springer, 2015.
Style de citation MLA (8e éd.)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. 1st ed. 2015. Springer International Publishing : Imprint: Springer, 2015.