The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/49292313
Record Status Checked
Record Id 49292313
Title Synthesising structure from flat specifications
Organisation CCLRC , BITD
Funding Information
Related Research Object(s): 28915
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Lecture Notes in Computer Science 1393 (1998): 148-161. Presented at: 2nd International B Conference (B’98: Recent Advances in the Development and Use of the B Method), Montpellier, France, 22-24 Apr 1998. STFC-AAM-2021-021.pdf 1998