ePubs

The open archive for STFC research publications

PURL issue currently affecting ePubs. Persistent Uniform Resource Locator (PURL) links in ePubs are not currently working. This is due to a cyber incident that has affected the third-party provider of the PURL system. We are hopeful that this issue will be resolved shortly.

Full Record Details

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
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