Web-Services-Formal-Methods-and-Behavioral-Types-11th-International-Workshop-WS-FM-2014-Eindhoven-The-Netherlands-September-11-12-2014-and-Notes-in-Computer-Science-Band-9421 44,94 EUR*