Formal methods for eternal networked software systems：11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced lectures

Corporate Authors: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (11th 2011 Bertinoro, Italy); SpringerLink (Online service)
Group Author: Issarny Valerie.; Bernardo Marco.
Published: Springer,
Publication Dates: c2011.