Bernardo, M., Schaefer, I., Hähnle, R., Johnsen, E. B., & Damiani, F. (2014). Formal Methods for Executable Software Models: [E-Book] : 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 / edited by Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. Cham: Springer.

Bernardo, Marco., Ina Schaefer, Reiner Hähnle, Einar Broch Johnsen, andfavorite Ferruccio Damiani. Formal Methods for Executable Software Models: [E-Book] : 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 / Edited By Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. Cham: Springer, 2014.

Bernardo, Marco., et al. Formal Methods for Executable Software Models: [E-Book] : 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 / Edited By Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer. Cham: Springer, 2014.