VAS-members paper “Verifying GSM-based Business Artifacts” is accepted for presentation in the research track of the 9th IEEE International Conference on Web Services (ICWS 2012).
Comments are closed.
