The open archive for STFC research publications

ePubs will be undergoing scheduled maintenance on 19/06/2024 between 10:00-12:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/34215
Record Status Checked
Record Id 34215
Title Interpolation in practical formal development
Organisation CCLRC , BITD
Funding Information
Related Research Object(s): 29068 , 49250969
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Article Logic Journal of the IGPL 9, no. 2 (2001): 231-244. doi:10.1093/jigpal/9.2.231 2001