Title: Web services and formal methods
Subjects: Formal methods (Computer science), Congresses, Web services, Informatique, Computer Communication Networks, Information Services, Computer science