E-viri
-
Laneve, Cosimo; Su, Jianwen
2010, 2010-09-02, Letnik: 6194eBook
Constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. This title features topics such as approaches to analyzing and designing systems based on Web Service technology.
