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 By David Garlan (auth.), Marco Bernardo, Paola Inverardi (eds.)
2003 | 289 Pages | ISBN: 3540200835 | PDF | 3 MB