7060877
9783642019173
Bernardo, Marco is the author of 'Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures', published 2009 under ISBN 9783642019173 and ISBN 364201917X.
[read more]