Formal Methods for Software Architectures: Advanced Lectures/Third Intern. School on Formal Methods for the Design of Computer, Communication and Software Systems - Software Architectures, SFM 2003, Bertinoro, Italy, September 2003

Б3.5.

Formal Methods for Software Architectures: Advanced Lectures/Third Intern. School on Formal Methods for the Design of Computer, Communication and Software Systems - Software Architectures, SFM 2003, Bertinoro, Italy, September 2003Ed. by Bernardo B., Inverardi P..-Berlin, Heidelberg.: Springer, 2003.-Vol. 2804.-287 p.-(Lecture Notes in Computer Science).