Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Papers

Name: Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Papers
ISBN: 9783319336114

Thomas Hildebrandt , Antonio Ravara , Jan Martijn Van Der Werf

まだ評価がありません