APA

Bernardo M., Inverardi P. & International School on Formal Methods for the Design of Computer C. a. S. S. (. . 2. . B. I. (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. Berlin: Springer.

Chicago

Bernardo Marco, Inverardi Paola and International School on Formal Methods for the Design of Computer Communication and Software Systems (3rd 2003 Bertinoro Italy). 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. Berlin: Springer.

Harvard

Bernardo M., Inverardi P. and International School on Formal Methods for the Design of Computer C. a. S. S. (. . 2. . B. I. (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. Berlin: Springer.

MLA

Bernardo Marco, Inverardi Paola and International School on Formal Methods for the Design of Computer Communication and Software Systems (3rd 2003 Bertinoro Italy). 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. Berlin: Springer. 2003.