Formal methods into practice: case studies in the application of the B method

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/49293326
Record Status	Checked
Record Id	49293326
Title	Formal methods into practice: case studies in the application of the B method
Contributors	JC Bicarregui (CCLRC Rutherford Appleton Lab.), DL Clutterbuck, G Finnie, H Haughton, K Lano, H Lesan, DWRM Marsh, B M Matthews (CCLRC Rutherford Appleton Lab.), MR Moulding, AR Newton, B Ritchie, TGA Rushton, PN Scharbach
Abstract
Organisation	CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):	28898
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Article (Published Version)	IEE Proceedings - Software 144, no. 2 (1997): 119-133.		STFC-APV-2021-007.pdf	1997