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

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

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

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

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

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

Formal Methods for Performance Evaluation: 7th International School on Formal Me