Web Services and Formal Methods [E-Book] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su.
Laneve, Cosimo
Su, Jianwen
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
online resource
englisch
9783642144585
Lecture notes in computer science ; 6194
Full Text
Description not available.