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., Padovani, L., & Zavattaro, G. (2009). Formal methods for web services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; advanced lectures. Springer. https://doi.org/10.1007/978-3-642-01918-0

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, Luca Padovani, and Gianluigi Zavattaro. Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; Advanced Lectures. Berlin: Springer, 2009. https://doi.org/10.1007/978-3-642-01918-0.

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 Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009 ; Advanced Lectures. Springer, 2009. https://doi.org/10.1007/978-3-642-01918-0.