title: The AI4FM approach for automation within formal methods
creator: Grov, Gudmund
creator: Bundy, Alan
creator: Jones, Cliff B.
creator: Ireland, Andrew
publisher: UK Computing Research Committee
date: 2010-04
type: ["eprint_typename_conferenceitem" not defined]
type: NonPeerReviewed
relation: http://www.ukcrc.org.uk/grand-challenge/gccr10-sub-20.cfm
identifier:   Grov, Gudmund and Bundy, Alan and Jones, Cliff B. and Ireland, Andrew  (2010) The AI4FM approach for automation within formal methods.  [["eprint_typename_conferenceitem" not defined]]     
relation: http://deploy-eprints.ecs.soton.ac.uk/278/

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