%A Gudmund Grov
%A Alan Bundy
%A Cliff B. Jones
%A Andrew Ireland
%T The AI4FM approach for automation within formal methods
%D 2010
%I UK Computing Research Committee
%L deploy278

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