An Event-B Approach to Data Sharing Agreements
Keyword(s):
2017 ◽
Vol 5
(10)
◽
pp. 342-346
Keyword(s):
2019 ◽