creators_name: Jones, Cliff B.
creators_name: Grov, Gudmund
creators_name: Bundy, Alan
type: monograph
datestamp: 2011-01-31 17:19:04
lastmod: 2011-01-31 17:19:04
metadata_visibility: show
title: Ideas for a high-level proof strategy language
ispublished: pub
subjects: deploy_method_proof
full_text_status: public
monograph_type: technical_report
date: 2010
publisher: School of Computing Science, Newcastle University
id_number: CS-TR-1210
institution: School of Computing Science, Newcastle University
official_url: http://www.cs.ncl.ac.uk/publications/trs/papers/1210.pdf
citation:   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.     
document_url: http://deploy-eprints.ecs.soton.ac.uk/280/1/1210.pdf