Formal Methods for SOA and Future Internet
The working group description will be soon available.
Michael Leuschel: leuschel [AT] cs.uni-duesseldorf.de
Michael Butler: mjb [AT] ecs.soton.ac.uk
Related Documentation
Click here to see all the Formal Methods for SOA and Future Internet public documentation.
Discussion forum
Click here to enter the Formal Methods for SOA and Future Internet discussion forum.
