01360nam2-2200385---45--99000332585020331620091006112428.0978-3-540-79229-1000332585USA01000332585(ALEPH)000332585USA0100033258520091006d2009----km-y0ITAy0103-------baengDEWeb services and formal methods5th international workshop, WS-FM 2008Milan, Italy, september 4-5, 2008Revised selected papersRoberto Bruni, Karsten Wolf...[et al.] (Eds.)BerlinSpringercopyr. 2009X, 239 p.ill.24 cmLecture notes in computer science53872001Lecture notes in computer science0010003149602001Lecture notes in computer science5387InternetCongressiMilan2008InformaticaCongressiMilan2008006BRUNI,RobertoWOLF,KarstenInternational Workshop, WS-FM 2008<5.;2008;Milan>606183ITAsalbcISBD990003325850203316001 LNCS 538738401/CBS00100222310BKSCIRSIAV69020091006USA011124Web services and formal methods1120300UNISA