Title: Web Services and Formal Methods
            
                Lecture Notes in Computer Science  Programming and Software
Subjects: Information storage and retrieval systems, Information systems, Computer science, Software engineering, Web services, System design, Congresses, User Interfaces and Human Computer Interaction, Information retrieval, Information organization, Management of Computing and Information Systems, Information Systems Applications (incl.Internet)