Formal Methods for Executable Software Models [recurso electrónico] 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced LecturesMarco Bernardo, Ferruccio Damiani & 3 more2014PDF