creators_name: Jones, Cliff B.
creators_name: Grov, Gudmund
creators_name: Bundy, Alan
type: conference_item
datestamp: 2011-02-03 09:41:40
lastmod: 2011-02-03 09:41:40
metadata_visibility: show
title: Ideas for a high-level proof strategy language
full_text_status: none
pres_type: paper
date: 2010-07
event_title: AFM'10 (Automated Formal Methods)
event_type: conference
refereed: TRUE
citation:   Jones, Cliff B. and Grov, Gudmund and Bundy, Alan  (2010) Ideas for a high-level proof strategy language.  In: AFM'10 (Automated Formal Methods).     

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>