SpringerLink (Online service), Bernardo, M., & Inverardi, P. (2003). 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 (1st ed. 2003.). Springer Berlin Heidelberg : Imprint: Springer. https://doi.org/10.1007/b13225
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Marco Bernardo, και Paola Inverardi. 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. 1st ed. 2003. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b13225.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. 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. 1st ed. 2003. Springer Berlin Heidelberg : Imprint: Springer, 2003. https://doi.org/10.1007/b13225.
