Web services and formal methods 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings - WS-FM 2007 (2007 : Brisbane, Qld.); Dumas, Marlon; Heckel, Reiko; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Includes bibliographical references and index.
Also issued online.
Keywords: Web services -- Congresses; Formal methods (Computer science) -- Congresses; Computer Science; Computer Communication Networks; Logics and Meanings of Programs; Management of Computing and Information Systems; Software Engineering; System Performance and Evaluation