01398nam2-2200397---45--99000314327020331620080926171135.0978-3-540-79229-1000314327USA01000314327(ALEPH)000314327USA0100031432720080911d2008----km-y0ITAy0103-------baengDEWeb Services and Formal Methods4th International Workshop, WS-FM 2007Brisbane, Australia, 28-29, 2007proceedingsMarlon Dumas, Reiko Heckel...[et al.](Eds.)BerlinSpringercopyr. 2008VIII, 168 p.ill.24 cmLecture notes in computer science49372001Lecture notes in computer science0010003149602001Lecture notes in computer scienceInternetCongressiBrisbane2007InformaticaCongressiBrisbane2007006DUMAS,MarlonHECKEL,ReikoInternational Workshop, WS-FM 2007<4. ;2007 ;Brisbane>602062ITACBSISBD990003143270203316001 LNCS 493736822/CBS00100217401BKSCICBAS1020080911USA011227ANGELA9020080926USA011711Web Services and Formal Methods1016270UNISA