An Event-B Approach to Data Sharing Agreements.

Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson

Browse the full IFM paper archive.