APA (7th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service), Bernardo, M., & Issarny, V. (2011). Formal methods for eternal networked software systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Springer.

Chicago Style (17th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service), Marco Bernardo, and Valérie Issarny. Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin, Heidelberg: Springer, 2011.

MLA (9th ed.) Citation

International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, et al. Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Springer, 2011.