Marco Bernardo Formal Methods for Web Services (Paperback) (UK IMPORT)

Formal Methods for Web Services : 9th International School on Formal Methods ...

Formal Methods for Components and Objects : 9th International Symposium, FMCO...

Formal Methods for Web Services: 9th International School on Formal Methods for

Formal Methods for Components and Objects : 9th International Symposium, FMCO...

Formal Methods and Software Engineering: 9th International Conference on Formal

Web Services and Formal Methods : 9th International Workshop, Ws-fm 2012, Tal...