EPSRC logo

Details of Grant 

EPSRC Reference: GR/G53279/01
Title: VERIFYING ML PROGRAMS USING EVALUATION LOGIC
Principal Investigator: Pitts, Professor AM
Other Investigators:
Paulson, Professor LC
Researcher Co-Investigators:
Project Partners:
Department: Computer Laboratory
Organisation: University of Cambridge
Scheme: Standard Research (Pre-FEC)
Starts: 01 September 1991 Ends: 28 February 1995 Value (£): 106,902
EPSRC Research Topic Classifications:
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:  
Summary on Grant Application Form
No summary is available for this grant.
Key Findings
No information has been submitted for this grant.
Potential use in non-academic contexts
No information has been submitted for this grant.
Impacts
No information has been submitted for this grant.
Sectors submitted by the Researcher
No information has been submitted for this grant.
Project URL:  
Further Information:  
Organisation Website: http://www.cam.ac.uk