title: An outline of a proposed system that learns from experts how to discharge proof obligations automatically. 
creator: Bundy, Alan
creator: Grov, Gudmund
creator: Jones, Cliff B
subject: Provers
subject: Methodology
date: 2009
type: Conference or Workshop Item
type: NonPeerReviewed
identifier:   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)  
relation: http://deploy-eprints.ecs.soton.ac.uk/180/

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