Marco Bernardo, Paola Inverardi (Eds.):
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.
Lecture Notes in Computer Science 2804 Springer 2003, ISBN 3-540-20083-5
David Garlan: Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.
1-24
data released under the ODC-BY 1.0 license
