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.
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

Actions (login required)

Edit Item Edit Item