"Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers" - читать интересную книгу автора (Mario Bravetti; Tevfik Bultan )