creators_name: Abrial, Jean-Raymond
creators_name: Metayer, Christophe
creators_name: Voisin, Laurent
type: monograph
datestamp: 2008-02-12 21:54:40
lastmod: 2010-04-19 15:05:49
metadata_visibility: show
title: Rodin Manual and Language Definition
ispublished: unpub
subjects: deploy_training_rodintool
subjects: deploy_training_eventb
full_text_status: public
monograph_type: manual
date: 2009
publisher: RODIN Project
citation:   Abrial, Jean-Raymond and Metayer, Christophe and Voisin, Laurent  (2009) Rodin Manual and Language Definition.  Manual. RODIN Project.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/11/1/manual-2.3.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/11/4/kernel_lang.pdf

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>