creators_name: Ireland, Andrew
creators_name: Grov, Gudmund
creators_name: Butler, Michael
type: conference_item
datestamp: 2010-01-27 17:24:07
lastmod: 2010-01-27 17:24:07
metadata_visibility: show
title: Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
ispublished: inpress
subjects: deploy_method_proof
full_text_status: none
pres_type: paper
date: 2010
date_type: completed
event_title: ABZ 2010
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/18422/
citation:   Ireland, Andrew and Grov, Gudmund and Butler, Michael  (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.  In: ABZ 2010.    (In Press)