Web services and formal methods : 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers

Author：edited by Marco Carbone, Jean-Marc Petit.
Publisher：Springer Berlin Heidelberg
ISBN：9783642298349 (electronic bk.) ; 9783642298332 (paper)
Publication Date：2012
其他作者：Carbone, Marco. ; Petit, Jean-Marc.
語言：eng
出版地：Berlin, Heidelberg :
Description

vi, 142 p. ::ill., digital ;:24 cm.

Search Same Author