id: 06040206
dt: b
an: 06040206
au: Carbone, Marco (ed.); Petit, Jean-Marc (ed.)
ti: Web services and formal methods. 8th international workshop, WS-FM 2011,
    Clermont-Ferrand, France, September 1‒2, 2011. Revised selected
    papers.
so: Lecture Notes in Computer Science 7176. Berlin: Springer (ISBN
    978-3-642-29833-2/pbk). ix, 143~p. \$~72.00 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-29834-9