@inproceedings{deploy180,
       booktitle = {Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems},
           title = {An outline of a proposed system that learns from experts how to discharge proof obligations automatically. },
          author = {Alan Bundy and Gudmund Grov and Cliff B Jones},
            year = {2009},
             url = {http://deploy-eprints.ecs.soton.ac.uk/180/}
}

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