Title: Web Services and Formal Methods
Subjects: Web services, System design, Congresses, Formal methods (Computer science), Software engineering, Information Systems Applications (incl. Internet), Computer science, Logic design, Information Systems, Management of Computing and Information Systems, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, User Interfaces and Human Computer Interaction