An Event-B Approach to Data Sharing Agreements

External Document