ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/49250969
Record Status Checked
Record Id 49250969
Title Interpolation in practical formal development
Contributors
Abstract
Organisation CCLRC , BITD
Keywords
Funding Information
Related Research Object(s): 34215
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Author Accepted Manuscript Logic Journal of the IGPL 9, no. 2 (2001): 231-244. STFC-AAM-2021-020.pdf 2001