Title: Web Services and Formal Methods
Subjects: Logic design, Computer system performance, Information Systems, Software engineering, Web services, Congresses, Formal methods (Computer science)