Title: Proceedings
Subjects: Formal methods (Computer science), Service-oriented architecture (Computer science), Congresses