Web Services and Formal Methods 10th International Workshop WS-FM

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

Web Services, Formal Methods, and Behavioral Types - 9783319336114

Web Services and Formal Methods - 9783642195884

Web Services and Formal Methods - 9783642298332

Software Engineering and Formal Methods SEFM 2013 Collocated Work

Web Services and Formal Methods : 10th International Workshop, Ws-fm 2013, Be...

Web Services and Formal Methods 9th International Workshop WS-FM