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.
![]()
| 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