An Event-B Approach to Data Sharing Agreements

Arenas, Alvaro E., Aziz, Benjamin, Bicarregui, Juan and Wilson, Michael D. (2010) An Event-B Approach to Data Sharing Agreements. In: Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings.

Full text not available from this repository.

Access this via: https://doi.org/10.1007/978-3-642-16265-7\_4

Item Type:	Conference or Workshop Item
Depositing User:	RED Unit Admin
Date Deposited:	13 Dec 2023 09:00
Last Modified:	13 Dec 2023 09:00
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18903

Actions (login required)

Edit Item