| Filename: | Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM by David Garlan (auth.) Marco Bernardo Paola Inverardi (eds.).pdf |
