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.
From MaRDI portal
Publication:1878936
DOI10.1007/B13225zbMath1044.68889OpenAlexW2492002059MaRDI QIDQ1878936
No author found.
Publication date: 9 September 2004
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b13225
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99) Theory of software (68N99)
Related Items (1)
This page was built for publication: 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.
