Return to the Theorem Prover's House: Application of the Learning Grid to Formal Methods

ePubs

The open archive for STFC research publications

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	JC Bicarregui (CCLRC Rutherford Appleton Lab.), D Mac Randal (CCLRC Rutherford Appleton Lab.), B Matthews (CCLRC Rutherford Appleton Lab.), B Ritchie (CCLRC Rutherford Appleton Lab.)
Abstract
Organisation	CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Paper In Conference Proceedings	In Teaching Formal Methods, Practice and Experience, Oxford Brookes, 12 Dec 2003, (2003).		returntothetheoremprovershouse.pdf	2003