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

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

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

Bravetti - Web Services and Formal Methods Third International Works - X555z

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

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

Bravetti - Web Services and Formal Methods 7th International Worksh - X555z

Hildebrandt - Calculus of Variations and Partial Differential Equation - X555z