180	  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)  
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>