SpringerLink (Online service), Bernardo, M., Damiani, F., Hähnle, R., Johnsen, E. B., & Schaefer, I. (2014). Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Springer International Publishing : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, και Ina Schaefer. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Cham: Springer International Publishing : Imprint: Springer, 2014.
Παραπομπή σε μορφή MLA (8th εκδ.)SpringerLink (Online service), et al. Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Springer International Publishing : Imprint: Springer, 2014.
