ePubs

The open archive for STFC research publications

You may experience service outages on ePubs over the coming days due to work being carried out to enhance our network infrastructure. The service should be considered at risk from 23/11 - 03/12.

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