"314","DEPLOY Training Evaluation Document","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.","http://deploy-eprints.ecs.soton.ac.uk/314/","Räsänen, Tuomas and Nummila, Laura","UNSPECIFIED","       <span class=\"person_name\">Räsänen, Tuomas</span> and <span class=\"person_name\">Nummila, Laura</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/314/\"><em>DEPLOY Training Evaluation Document.</em></a>       Technical Report.     Space Systems Finland Ltd.         (Unpublished)   ","","2010-09-30"