creators_name: Bundy, Alan
creators_name: Grov, Gudmund
creators_name: Jones, Cliff B
creators_id: Cliff.Jones@ncl.ac.uk
type: conference_item
datestamp: 2010-01-12 10:11:30
lastmod: 2010-01-12 10:11:30
metadata_visibility: show
title: Learning from experts to aid the automation of proof search.
ispublished: inpress
subjects: Proof
subjects: deploy_method
full_text_status: none
pres_type: paper
date: 2009
event_title:  9th International Workshop on Automated Verification of Critical Systems: AVoCS 2009
event_type: conference
refereed: TRUE
citation:   Bundy, Alan and Grov, Gudmund and Jones, Cliff B  (2009) Learning from experts to aid the automation of proof search.  In:  9th International Workshop on Automated Verification of Critical Systems: AVoCS 2009.    (In Press)  

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