%A Tuomas R?s?nen
%A Laura Nummila
%T DEPLOY Training Evaluation Document
%X 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.
%D 2010
%I Space Systems Finland Ltd
%L deploy314

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