Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /

von WS-FM 2010 (Workshop), Bravetti, Mario., Bultan, Tevfik.
Veröffentlicht 2011