Title: Web services and formal methods
Subjects: Formal methods (Computer science), Congresses, Web services, Telecommunication systems