01239nam--2200361---45--99000297577020331620070920124336.03-540-38862-1000297577USA01000297577(ALEPH)000297577USA0100029757720070920d2006----km-y0ITAy0103-------baengDEWeb Services and Formal Methods3rd International Workshop, WS-FM 2006Vienna, Austria, September 8-9, 2006proceedingsMario Bravetti...[et al.](Eds.)BerlinSpringercopyr. 2006X, 287 p.ill.20 cm.Lecture notes in computer science41842001Lecture notes in computer science4184InternetCongressiVienna2006InformaticaCongressiVienna2006006BRAVETTI,MarioInternational Workshop, WS-FM 2006<3. ;2006 ;Vienna>598355ITACBSISBD990002975770203316001 LNCS 418434117/CBS00100215665BKSCISENATORE9020070920USA011243Web Services and Formal Methods1027526UNISA