The open archive for STFC research publications

You may experience service outages on ePubs over the coming days due to work being carried out to enhance our network infrastructure. The service should be considered at risk from 23/11 - 03/12.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/53886
Record Status Checked
Record Id 53886
Title An Event-B Approach to Data Sharing Agreements
Organisation ESC , STFC
Funding Information
Related Research Object(s): 48912648
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 8th International Conference on Integrated Formal Methods, Nancy, France, 11-14 Oct 2010, (2010): 28-42. doi:10.1007/978-3-642-16265-7_4 2010