WS-FM'10
7th International Workshop on Web Services and Formal Methods
Formal aspects of service oriented and cloud computing
Home
Call for papers
Submission
Important dates
Program
Invited speakers
Committees
Registration
Venue
Accommodation
Past events
Contact
Accomodation Information
Accomodation information is provided at the
BPM 2010 website