creators_name: Freitas, Leo
creators_name: Jones, Cliff B.
type: conferenceitem
datestamp: 2011-02-10 13:57:52
lastmod: 2011-02-10 13:57:52
metadata_visibility: show
title: Learning from an expert's proof: AI4FM
full_text_status: none
date: 2010-11
event_title: UV10 (Usable Verification)
official_url: http://fm.csl.sri.com/UV10/submissions/uv2010submission18.pdf
citation:   Freitas, Leo and Jones, Cliff B.  (2010) Learning from an expert's proof: AI4FM.  [["eprint_typename_conferenceitem" not defined]]     

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