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.
Style de citation Chicago (17e éd.)International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Italy, SpringerLink (Online service), Marco Bernardo, et 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.
Style de citation MLA (9e éd.)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.