Web Services and Formal Methods: 4th International Workshop, Ws-FM 2007,: New

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

Ferreira - Formal Methods Teaching 4th International Workshop and Tu - X555z

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

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

Aagaard - Formal Methods in Computer-Aided Design 4th International - X555z

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

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