Deploy Repository: No conditions. Results ordered -Date. 2018-01-17T12:24:10ZEPrintshttp://deploy-eprints.ecs.soton.ac.uk/images/sitelogo.gifhttp://deploy-eprints.ecs.soton.ac.uk/2011-02-10T13:57:52Z2011-02-10T13:57:52Zhttp://deploy-eprints.ecs.soton.ac.uk/id/eprint/279This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/2792011-02-10T13:57:52ZLearning from an expert's proof: AI4FMLeo FreitasCliff B. Jones2011-02-10T13:56:46Z2011-02-10T13:56:46Zhttp://deploy-eprints.ecs.soton.ac.uk/id/eprint/277This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/2772011-02-10T13:56:46ZAI4FM: A New Project Seeking Challenges!Gudmund GrovCliff B. Jones2011-02-10T13:57:22Z2011-02-10T13:57:22Zhttp://deploy-eprints.ecs.soton.ac.uk/id/eprint/278This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/2782011-02-10T13:57:22ZThe AI4FM approach for automation within formal methodsGudmund GrovAlan BundyCliff B. JonesAndrew Ireland