Bruni - Web Services and Formal Methods 5th International Workshop - X555z

Tuosto - Web Services and Formal Methods 10th International Workshop - X555z

Carbone - Web Services and Formal Methods 8th International Workshop - X555z

Dumas - Web Services and Formal Methods 4th International Workshop W - X555z

Dongol - Formal Methods Teaching Third International Workshop and Tu - X555z

ter Beek - Web Services and Formal Methods 9th International Worksho - X555z

Hildebrandt - Web Services Formal Methods and Behavioral Types 11t - X555z

Web Services and Formal Methods : Third International Workshop, Ws-fm 2006, V...