Title: Web Services and Formal Methods
Subjects: Information retrieval, Information organization, Software engineering, Information Systems Applications (incl. Internet), Computer science, Information storage and retrieval systems, Information Systems, Management of Computing and Information Systems, User Interfaces and Human Computer Interaction