creators_name: Pascal, Carine
type: rodin_archive
datestamp: 2009-07-23 13:27:49
lastmod: 2010-04-19 15:05:56
metadata_visibility: show
corp_creators: Systerel
title: A-Style Decomposition Examples
subjects: deploy_tooldev_rodinplatform
subjects: deploy_method_comp
subjects: deploy_tooldev_modelc
subjects: examples
full_text_status: public
citation:   Pascal, Carine   A-Style Decomposition Examples.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/139/1/QuestionResponse.zip