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

zbMATH Open1125.68301MaRDI QIDQ854365

Author name not available (Why is that?)

Publication date: 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

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

This page was built for publication: 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q854365)