ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL	http://purl.org/net/epubs/work/53886
Record Status	Checked
Record Id	53886
Title	An Event-B Approach to Data Sharing Agreements
Contributors	AE Arenas (STFC Rutherford Appleton Lab.), B Aziz (STFC Rutherford Appleton Lab.), J Bicarregui (STFC Rutherford Appleton Lab.), MD Wilson (STFC Rutherford Appleton Lab.)
Abstract
Organisation	ESC , STFC
Keywords
Funding Information
Related Research Object(s):	48912648
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Paper In Conference Proceedings	In 8th International Conference on Integrated Formal Methods, Nancy, France, 11-14 Oct 2010, (2010): 28-42.	doi:10.1007/978-3-642-16265-7_4		2010