creators_name: Grov, Gudmund
creators_name: Bundy, Alan
creators_name: Jones, Cliff B.
creators_name: Ireland, Andrew
type: conferenceitem
datestamp: 2011-02-10 13:57:22
lastmod: 2011-02-10 13:57:22
metadata_visibility: show
title: The AI4FM approach for automation within formal methods
full_text_status: none
date: 2010-04
publisher: UK Computing Research Committee
event_title: Grand Challenges in Computing Research 2010
official_url: http://www.ukcrc.org.uk/grand-challenge/gccr10-sub-20.cfm
citation:   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]]     

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