Title: Web services and formal methods
Subjects: Formal methods (Computer science), Congresses, Web services, Logic design, Computer system performance, Information systems, Computer science, Software engineering, Computer networks, Computer programming, Web sites, design