Web services and formal methods. 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1--2, 2011. Revised selected papers
From MaRDI portal
Publication:424403
DOI10.1007/978-3-642-29834-9zbMATH Open1334.68015OpenAlexW2484154251MaRDI QIDQ424403
Author name not available (Why is that?)
Publication date: 1 June 2012
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29834-9
No records found.
This page was built for publication: Web services and formal methods. 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1--2, 2011. Revised selected papers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424403)