Title: Formal methods for web services
Subjects: Serviceorientierte Architektur, Congresses, Web Services, Internet, Formale Methode, Formal methods (Computer science), Kongress, Web services, Computer network architectures
Places: Bertinoro <2009>