Compositional structuring in the B-method: a logical viewpoint of the static context

ePubs

The open archive for STFC research publications

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	T Dimitrakos (CCLRC Rutherford Appleton Lab.), J Bicarregui (CCLRC Rutherford Appleton Lab.), B Matthews (CCLRC Rutherford Appleton Lab.), T Maibaum
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