Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. Technical Report. School of Computing Science, Newcastle University.
![[img]](../style/images/fileicons/application_pdf.png)
| PDF 120Kb |
Official URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1210.pdf
| Item Type: | Monograph (Technical Report) |
|---|---|
| Subjects: | Methodology > Proof and model checking |
| ID Code: | 280 |
| Deposited By: | Prof Cliff Jones |
| Deposited On: | 31 Jan 2011 17:19 |
| Last Modified: | 31 Jan 2011 17:19 |
Repository Staff Only: item control page
