Web services and formal methods. 8th international workshop, WS-FM 2011, Clermont-Ferrand, France, September 1--2, 2011. Revised selected papers

DOI10.1007/978-3-642-29834-9MaRDI QIDQ424403zbMATH OpenOpenAlexFDO

Authors

Publication date 1 June 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29834-9

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Internet topics (68M11)

Recommendations

• Web services and formal methods. 5th international workshop, WS-FM 2008, Milan, Italy, September 4--5, 2008. Revised selected papers
• Web services and formal methods. 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16--17, 2010. Revised selected papers
• Web services and formal methods. 6th international workshop, WS-FM 2009, Bologna, Italy, September 4--5, 2009. Revised selected papers
• Web services and formal methods. 10th international workshop, WS-FM 2013, Beijing, China, August 2013. Revised selected papers
• Web services and formal methods. 9th international workshop, WS-FM 2012, Tallinn, Estonia, September 6--7, 2012. Revised selected papers
• Proceedings of the first international workshop on web services and formal methods (WSFM 2004), Pisa, Italy, February 23--24, 2004.
• Web services and formal methods. 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28--29, 2007. Proceedings
• Special issue: Web services and formal methods (WS--FM 2004). Selected papers based on the presentations at the 1st international workshop, Pisa, Italy, Frebruary 23--24, 2004
• Web services, formal methods, and behavioral types. 11th international workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11--12, 2014, and 12th international workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4--5, 2015. Revised selected papers
• Formal methods for web services. 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009, Bertinoro, Italy, June 1--6, 2009. Advanced lectures

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)