Bernardo, M., Cortellessa, V., & Pierantonio, A. (2012). Formal Methods for Model-Driven Engineering: [E-Book]: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Berlin, Heidelberg: Springer Berlin Heidelberg.

Bernardo, Marco., Vittorio Cortellessa, andfavorite Alfonso Pierantonio. Formal Methods for Model-Driven Engineering: [E-Book]: 12th International School On Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / Edited By Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Bernardo, Marco., Vittorio Cortellessa, andfavorite Alfonso Pierantonio. Formal Methods for Model-Driven Engineering: [E-Book]: 12th International School On Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / Edited By Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.