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:20
lastmod: 2010-01-12 10:11:20
metadata_visibility: show
title: An outline of a proposed system that learns from experts how to discharge proof obligations automatically. 
ispublished: inpress
subjects: Proof
subjects: deploy_method
full_text_status: none
pres_type: paper
date: 2009
event_title: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
event_location: Schloss Dagstuhl
event_dates: 14-18 Sept. 2009
event_type: workshop
refereed: FALSE
citation:   Bundy, Alan and Grov, Gudmund and Jones, Cliff B  (2009) An outline of a proposed system that learns from experts how to discharge proof obligations automatically.  In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Schloss Dagstuhl.    (In Press)