University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Gudmund Grov
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1377
2010
Ideas for a high-level proof strategy language
EDI-INF-RR-1371
Apr 2010
Automatic Guidance for Refinement Based Formal Methods
EDI-INF-RR-1347
Sep 2009
Learning from experts to aid the automation of proof search
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh