ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/34517
Record Status Checked
Record Id 34517
Title Return to the Theorem Prover's House: Application of the Learning Grid to Formal Methods
Contributors
Abstract
Organisation CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings Informal proceedings of workshop. Is in proceedings of: Workshop at Oxford Brookes in association with BCS FACS. http://cms.brookes.ac.uk/tfm2003/ returntothetheoremprovershouse.pdf 2003
Showing record 1 of 1
RCUK
Science and Technology Facilities Council Switchboard: 01793 442000