"Web services and formal methods 6th international workshop ; revised selected papers" - читать интересную книгу автора (Cosimo Laneve )