Searching for authors named "Graham Collins" – sorted by Relevance.
-
A Proof Tool for Reasoning about Functional Programs
- A Proof Tool for Reasoning about Functional Programs Graham Collins Department of Computing
- Cited by 11 (1 self) – Add To MetaCart
-
The Circuit That Was Too Lazy to Fail
- The circuit that was too lazy to fail Graham Collins and Jonathan Hogg Department of Computing
- Cited by 1 (0 self) – Add To MetaCart
-
System Description: Embedding Verification into Microsoft Excel
- System Description: Embedding Verication into Microsoft Excel ? Graham Collins 1 and Louise A
- Add To MetaCart
-
Supporting Reasoning about Functional Programs: An Operational Approach
- : An Operational Approach Graham Collins ©Copyright in this paper belongs to the author(s) Published
- Cited by 3 (1 self) – Add To MetaCart
-
The PROSPER Toolkit
- Version 1.4 2 April 2001 Louise Dennis, Graham Collins, Richard Boulton, Graham Robinson University
- Cited by 1 (0 self) – Add To MetaCart
-
The PROSPER Toolkit
- February 2000 Louise Dennis, Graham Collins University of Glasgow Department of Computing Science Glasgow
- Cited by 34 (2 self) – Add To MetaCart

