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 22-27, 2003 : advanced lectures. : Sep 2003, Bertinoro, Italy.
(Lecture Notes in Computer Science ; 2804. Tutorial)
Formal methods for software architectures : 3rd international school on formal methods for the design of computer, communication and software systems: software architectures, SFM 2003 : Bertinoro, Italy, September 22-27, 2003 : advanced lectures