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

Marco Bernardo, Paola Inverardi, editors, 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. Volume 2804 of Lecture Notes in Computer Science, Springer, 2003.

Conference: sfm2003

Editors

Marco Bernardo

This author has not been identified. It may be one of the following persons: Look up 'Marco Bernardo' in Google

Paola Inverardi

This author has not been identified. Look up 'Paola Inverardi' in Google