title: Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
creator: Ireland, Andrew
creator: Grov, Gudmund
creator: Butler, Michael
subject: Proof and model checking
date: 2010
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/18422/
identifier:   Ireland, Andrew and Grov, Gudmund and Butler, Michael  (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.  In: ABZ 2010.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/193/