creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: rodin_archive
datestamp: 2012-02-20 11:14:03
lastmod: 2012-02-20 11:14:03
metadata_visibility: show
title: A Club Management System
subjects: deploy_training_eventb
subjects: deploy_training_rodintool
subjects: examples
full_text_status: public
citation:   Hoang, Thai Son   A Club Management System.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/371/1/Club-120130-Rodin-2.4.0.zip