ePubs

The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

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
Contributors
Abstract
Organisation ESC , STFC
Keywords
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