TY  - INPR
ID  - deploy180
UR  - http://deploy-eprints.ecs.soton.ac.uk/180/
A1  - Bundy, Alan
A1  - Grov, Gudmund
A1  - Jones, Cliff B
Y1  - 2009///
TI  - An outline of a proposed system that learns from experts how to discharge proof obligations automatically. 
AV  - none
M2  - Schloss Dagstuhl
T2  - Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
ER  -

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