The open archive for STFC research publications

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
Organisation CCLRC , BITD
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