International School on Formal Methods for the Design of Computer, C. a. S. S. B., Bernardo, M., & Inverardi, P. (2003). Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures. New York: Springer.
Citación estilo ChicagoInternational School on Formal Methods for the Design of Computer, Communication and Software Systems Bertinoro, Marco Bernardo, y Paola Inverardi. Formal Methods for Software Architectures: Third International School On Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : Advanced Lectures. New York: Springer, 2003.
Cita MLAInternational School on Formal Methods for the Design of Computer, Communication and Software Systems Bertinoro, Marco Bernardo, y Paola Inverardi. Formal Methods for Software Architectures: Third International School On Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : Advanced Lectures. New York: Springer, 2003.