Roberto Bruni · 5 obras en el catálogoObrasFormal Techniques for Distributed SystemsTrustworthy Global Computing 6th International Symposium Revised Selected PapersTrustworthy Global ComputingModels of ComputationWWeb Services and Formal MethodsWeb Services and Formal Methods