ePubs

The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/48911766
Record Status Checked
Record Id 48911766
Title Towards modelling obligations in Event-B
Contributors
Abstract
Organisation ESC , ESC-IM , STFC
Keywords
Funding Information EC, FP6 IST project GridTrust (Project reference number 033817)
Related Research Object(s): 43601
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Lecture Notes in Computer Science 5238 (2008): 181-194. Presented at: International Conference on Abstract State Machines, B and Z (ABZ 2008), London, United Kingdom, 16-18 Sep 2008. STFC-AAM-2021-006.pdf 2008