TY  - UNPB
ID  - deploy314
UR  - http://deploy-eprints.ecs.soton.ac.uk/314/
A1  - Räsänen, Tuomas
A1  - Nummila, Laura
Y1  - 2010/09/30/
N2  - Evaluation of the effort needed for an engineer with no experience in formal methods to become a competent user of Event-B. A full report for what was presented in the DEPLOY Plenary Meeting in Zürich.
PB  - Space Systems Finland Ltd
TI  - DEPLOY Training Evaluation Document
M1  - technical_report
AV  - public
ER  -

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