Web Services, Formal Methods, and Behavioral Types - 9783319336114

Formal Methods for Components and Objects 11th International Symp

Software Engineering and Formal Methods 11th International Confer

Methods in Behavioral Research - Paperback By Cozby, Paul -

Web Services and Formal Methods - 9783642195884

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

Web Services and Formal Methods - 9783642298332

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