Synthesising structure from flat specifications

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/49292313
Record Status	Checked
Record Id	49292313
Title	Synthesising structure from flat specifications
Contributors	BM Matthews (CCLRC Rutherford Appleton Lab.), B Ritchie (CCLRC Rutherford Appleton Lab.), JC Bicarregui (CCLRC Rutherford Appleton Lab.)
Abstract
Organisation	CCLRC , BITD
Keywords
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