Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software ... Notes in Computer Science, 2804, Band 2804) | Kaicus Deutschland