ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/43516633
Record Status Checked
Record Id 43516633
Title ERIL (Equational Reasoning: an Interactive Laboratory) user's manual : version R1.6a
Contributors
Abstract
Organisation SERC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Report RAL Technical Reports RAL-88-055. SERC, 1988. 1988