Web services and formal methods. 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28--29, 2007. Proceedings

DOI10.1007/978-3-540-79230-7zbMATH Open1334.68016OpenAlexW2347501998WikidataQ54019497 ScholiaQ54019497MaRDI QIDQ2481690

Author name not available (Why is that?)

Publication date: 15 April 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79230-7

Mathematics Subject Classification ID

No records found.

This page was built for publication: Web services and formal methods. 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28--29, 2007. Proceedings

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