creators_name: Butler, Michael creators_name: Hallerstede, Stefan creators_name: Voisin, Laurent creators_id: mjb@ecs.soton.ac.uk type: monograph datestamp: 2009-07-21 14:14:31 lastmod: 2010-04-19 15:05:56 metadata_visibility: show title: Rodin User and Developer Workshop 2009 - Extended Abstracts ispublished: unpub subjects: deploy_tooldev subjects: examples full_text_status: public monograph_type: technical_report date: 2009-07 publisher: DEPLOY Project citation: Butler, Michael and Hallerstede, Stefan and Voisin, Laurent (2009) Rodin User and Developer Workshop 2009 - Extended Abstracts. Technical Report. DEPLOY Project. (Unpublished) document_url: http://deploy-eprints.ecs.soton.ac.uk/137/1/proceedings.pdf