ePubs

The open archive for STFC research publications

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