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 - International School on Formal Methods for the Design of Computer, Communication and Software Systems 2003 sep. 22-27 : Bertinoro, Italy); Bernardo, Marco; Inverardi, Paola (New York : Springer, 2003)
Keywords: CONFERENCIAS; PROGRAMAS COMPUTACIONALES; ARQUITECTURA DEL COMPUTADOR