creators_name: Abrial, Jean-Raymond
creators_name: Hoang, Thai Son
creators_name: Schmalz, Matthias
creators_id: jabrial@inf.ethz.ch
creators_id: htson@inf.ethz.ch
creators_id: matthias.schmalz@inf.ethz.ch
type: deploy_deliverable
datestamp: 2008-12-25 13:13:18
lastmod: 2010-04-19 15:05:51
metadata_visibility: show
title: Deliverable D8 D10.1 "Teaching Materials" --- Exercises
subjects: deploy_training_rodintool
subjects: theory
subjects: deploy_training_eventb
subjects: examples
full_text_status: public
date: 2008-04
citation:   Abrial, Jean-Raymond and Hoang, Thai Son and Schmalz, Matthias  (2008) Deliverable D8 D10.1 "Teaching Materials" --- Exercises.  [DEPLOY Deliverable]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/55/1/ex1.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/55/2/sol1.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/55/3/ex2.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/55/4/sol2.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/55/5/ex3.pdf
document_url: http://deploy-eprints.ecs.soton.ac.uk/55/6/sol3.pdf

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