ePubs

The open archive for STFC research publications

PURL issue currently affecting ePubs. Persistent Uniform Resource Locator (PURL) links in ePubs are not currently working. This is due to a cyber incident that has affected the third-party provider of the PURL system. We are hopeful that this issue will be resolved shortly.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/49250835
Record Status Checked
Record Id 49250835
Title Compositional structuring in the B-method: a logical viewpoint of the static context
Contributors
Abstract
Organisation CCLRC , BITD
Keywords
Funding Information
Related Research Object(s): 28939
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Lecture Notes in Computer Science 1878 (2000): 107-126. Presented at: International Conference of B and Z Users (ZB 2000), York, United Kingdom, 29 Aug to 2 Sept 2000. STFC-AAM-2021-019.pdf 2000